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 <[email protected]> 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.) _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
