Here is another integration test:
http://www4.in.tum.de/~wenzelm/test/Isabelle_12-Sep-2013/
I've changed the way how the main application wrappers (for Linux,
Windows, Mac OS X) start up the JVM and provide classpath and options,
after fighting many monsters in the Pits of Jarr (where the Java sources
are hidden). The situation is so much clearer after reading the real
source text, not just this javadoc bla bla.
This means all Isabelle/jEdit dockables should now work, including the
critial Console/Scala sub-plugin.
People used to repository snapshots might notice a few differences to such
a standalone application, although some of the differences could be
actually remaining problems. E.g. it has an explicit identification as
"Isabelle_12-Sep-2013" and thus gets a fresh $ISABELLE_HOME_USER
directory, which might make a difference in certain test applications,
keymaps etc.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
