| Thu, 23 Jun 2011 16:34:29 +0200 | wenzelm | adapted to Cygwin; | changeset | files |
| Thu, 23 Jun 2011 16:10:22 +0200 | wenzelm | provide Isabelle/Scala environment as Java extension, instead of user classpath | changeset | files |
| Thu, 23 Jun 2011 14:52:32 +0200 | wenzelm | explicit import java.lang.System to prevent odd scope problems; | changeset | files |
| Thu, 23 Jun 2011 14:48:32 +0200 | wenzelm | ensure export of initial CLASSPATH; | changeset | files |
| Thu, 23 Jun 2011 13:23:00 +0200 | wenzelm | augment Java extension directories; | changeset | files |
| Thu, 23 Jun 2011 10:58:29 +0200 | wenzelm | basic setup for Isabelle charset; | changeset | files |