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 |