| Thu, 21 Aug 2008 17:42:59 +0200 | wenzelm | proper ISABELLE_ROOT_JVM on Cygwin; | changeset | files |
| Thu, 21 Aug 2008 16:02:54 +0200 | wenzelm | pattern: proper "." not "[.]"! | changeset | files |
| Thu, 21 Aug 2008 15:27:28 +0200 | wenzelm | recode: proper result for unmatched symbols; | changeset | files |
| Thu, 21 Aug 2008 15:20:00 +0200 | wenzelm | more robust pattern: look at longer matches first, added catch-all case; | changeset | files |
| 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 |