[isabelle-dev] PG 3.x vs. 4.x settings
lp15 at cam.ac.uk
Fri Dec 14 14:14:21 CET 2012
That might be a good idea.
The point of a bundle is to put together a combinations of things that are known to work.
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.)
More information about the isabelle-dev