| 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 |
| Thu, 21 Aug 2008 13:05:28 +0200 | wenzelm | added ISABELLE_ROOT_JVM; | changeset | files |
| Mon, 18 Aug 2008 17:57:06 +0200 | ballarin | Theorem on polynomial division and lemmas. | changeset | files |
| Sun, 17 Aug 2008 21:11:24 +0200 | wenzelm | removed parse_element -- no longer fits to liberal parse! | changeset | files |