| Thu, 12 Sep 2013 13:48:17 +0200 | wenzelm | clarified directory structure; | changeset | files |
| Thu, 12 Sep 2013 13:23:54 +0200 | wenzelm | maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources); | changeset | files |
| Wed, 11 Sep 2013 23:32:47 +0200 | wenzelm | more official initial class path according to sun.misc.Launcher; | changeset | files |
| Wed, 11 Sep 2013 22:46:51 +0200 | wenzelm | provide main classpath again, notably for cold-start; | changeset | files |
| Wed, 11 Sep 2013 21:40:03 +0200 | wenzelm | cold-start of main application even on Linux; | changeset | files |
| Wed, 11 Sep 2013 20:34:45 +0200 | wenzelm | tuned proofs; | changeset | files |