| Tue, 12 Jul 2011 20:11:00 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Tue, 12 Jul 2011 19:49:35 +0200 | wenzelm | clarified YXML.detect; | changeset | files |
| Tue, 12 Jul 2011 19:47:40 +0200 | wenzelm | retain some terminology of "XML attributes"; | changeset | files |
| Tue, 12 Jul 2011 19:36:46 +0200 | wenzelm | more uniform Properties in ML and Scala; | changeset | files |
| Tue, 12 Jul 2011 18:00:05 +0200 | wenzelm | more uniform Term and Term_XML modules; | changeset | files |
| Tue, 12 Jul 2011 17:53:06 +0200 | wenzelm | more compact representation of XML data (notably sort/typ/term), using properties as vector of atomic values; | changeset | files |
| 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 |