| Thu, 19 Mar 2009 15:22:53 +0100 | wenzelm | moved Isar/antiquote.ML to General/antiquote.ML, which is loaded early; | changeset | files |
| Thu, 19 Mar 2009 15:22:53 +0100 | wenzelm | moved basic change_prompt, scan_string, scan_alt_string, scan_quoted to symbol_pos.ML; | changeset | files |
| Thu, 19 Mar 2009 13:28:55 +0100 | wenzelm | use Name.of_binding for basic logical entities without name space (fixes, case names etc.); | changeset | files |