On Fri, 14 Dec 2012, Lawrence Paulson wrote:
That might be a good idea.
The point of a bundle is to put together a combinations of things that
are known to work.
I will take your word on that. So the Isabelle.app contains exactly one
standard version of Emacs with byte-compiled .elc for it.
The open choice in the past was motivated from the Scylla-and-Charybdis
problem, where there was no single save anchor in the roaring sea of Emacs
monsters.
So we merely need to figure out where the .elc stuff is going: Is it in
the component and deleted for other platforms? Is it not in the
component, but created by the administrative script that produces the
Isabelle.app for Mac OS X?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
