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