[isabelle-dev] Isabelle_12-Sep-2013

Makarius makarius at sketis.net
Thu Sep 12 21:44:25 CEST 2013

Here is another integration test:


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.


More information about the isabelle-dev mailing list