| Thu, 21 Aug 2008 13:05:37 +0200 | wenzelm | added get_setting; | changeset | files |
| Thu, 21 Aug 2008 13:05:31 +0200 | wenzelm | read_symbols: proper IsabelleSystem.platform_path; | changeset | files |
| Thu, 21 Aug 2008 13:05:28 +0200 | wenzelm | added ISABELLE_ROOT_JVM; | changeset | files |