| 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 |
| Wed, 22 Jun 2011 23:56:44 +0200 | wenzelm | prefer actual charset over charset name; | changeset | files |