Tue, 12 Jul 2011 15:32:16 +0200 | wenzelm | tuned signature -- less cryptic ASCII names; | changeset | files |
Tue, 12 Jul 2011 15:17:37 +0200 | wenzelm | discontinued obsolete Isabelle_Syntax and Parse_Value -- superseded by Outer_Syntax.quote_string and XML.Encode, Term_XML.Encode etc.; | changeset | files |