| Tue, 12 Jul 2011 19:36:46 +0200 | wenzelm | more uniform Properties in ML and Scala; | file | diff | annotate |
| 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; | file | diff | annotate |