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