| Fri, 03 Jul 2009 00:06:40 +0200 | wenzelm | isabelle.home: native jvmpath; | changeset | files |
| Fri, 03 Jul 2009 00:02:07 +0200 | wenzelm | Generic Isabelle application wrapper. | changeset | files |
| Fri, 03 Jul 2009 00:00:03 +0200 | wenzelm | observe SCALA_HOME, if available; | changeset | files |