wenzelm [Fri, 03 Jul 2009 21:14:46 +0200] rev 31928
init/check Isabelle_System;
wenzelm [Fri, 03 Jul 2009 21:14:16 +0200] rev 31927
init isabelle home from existing setting or hint via system property;
wenzelm [Fri, 03 Jul 2009 20:37:14 +0200] rev 31926
more hgignore;
wenzelm [Fri, 03 Jul 2009 16:36:02 +0200] rev 31925
basic setup for Isabelle/JVM application bundle;
wenzelm [Fri, 03 Jul 2009 16:10:49 +0200] rev 31924
separate setup for App1;
wenzelm [Fri, 03 Jul 2009 10:54:26 +0200] rev 31923
SCALA_HOME: proper line escapes for choosefrom;
wenzelm [Fri, 03 Jul 2009 00:15:59 +0200] rev 31922
allow reloading of settings within JVM process;
wenzelm [Fri, 03 Jul 2009 00:10:19 +0200] rev 31921
Isabelle application wrapper for windows.
wenzelm [Fri, 03 Jul 2009 00:06:40 +0200] rev 31920
isabelle.home: native jvmpath;
wenzelm [Fri, 03 Jul 2009 00:02:07 +0200] rev 31919
Generic Isabelle application wrapper.