Surely those files belong in the Isabelle app? Larry On 14 Dec 2012, at 14:02, Makarius <[email protected]> wrote:
> 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? _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
