Fri, 03 Jul 2009 21:14:16 +0200 | wenzelm | init isabelle home from existing setting or hint via system property; | changeset | files |
Fri, 03 Jul 2009 20:37:14 +0200 | wenzelm | more hgignore; | changeset | files |
Fri, 03 Jul 2009 16:36:02 +0200 | wenzelm | basic setup for Isabelle/JVM application bundle; | changeset | files |
Fri, 03 Jul 2009 16:10:49 +0200 | wenzelm | separate setup for App1; | changeset | files |
Fri, 03 Jul 2009 10:54:26 +0200 | wenzelm | SCALA_HOME: proper line escapes for choosefrom; | changeset | files |
Fri, 03 Jul 2009 00:15:59 +0200 | wenzelm | allow reloading of settings within JVM process; | changeset | files |
Fri, 03 Jul 2009 00:10:19 +0200 | wenzelm | Isabelle application wrapper for windows. | changeset | files |