| 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 |