[isabelle-dev] PG 3.x vs. 4.x settings

[Lawrence Paulson]

That might be a good idea.

The point of a bundle is to put together a combinations of things that are known to work.  
Larry

On 14 Dec 2012, at 13:06, Makarius <makarius at sketis.net> wrote:

> If you say that Isabelle.app should exclusively use the bundled "$THIS/Aquamacs.app/Contents/MacOS/Aquamacs" it should be made explicit in the script.  And you need to be aware of the chance of policy to take away the free choice of Emacs.  (I do take away the free choice of JVM and jEdit versions in Isabelle/jEdit, but that is a different story.)