| Thu, 12 Sep 2013 18:53:51 +0200 | wenzelm | more CHECKLIST; | changeset | files |
| Thu, 12 Sep 2013 18:50:41 +0200 | wenzelm | more robust System.getProperty with default; | changeset | files |
| Thu, 12 Sep 2013 15:37:09 +0200 | wenzelm | generate distribution classpath for cold-start application wrappers; | changeset | files |
| Thu, 12 Sep 2013 14:32:02 +0200 | wenzelm | reverse orientation of ISABELLE_CLASSPATH; | changeset | files |
| Thu, 12 Sep 2013 14:10:45 +0200 | wenzelm | propagate ISABELLE_CLASSPATH; | changeset | files |
| Thu, 12 Sep 2013 14:06:08 +0200 | wenzelm | tuned comments; | changeset | files |
| Thu, 12 Sep 2013 13:48:17 +0200 | wenzelm | clarified directory structure; | changeset | files |