| Tue, 12 Jul 2011 23:20:34 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 12 Jul 2011 18:00:05 +0200 | wenzelm | more uniform Term and Term_XML modules; | 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 |
| Tue, 12 Jul 2011 10:44:30 +0200 | wenzelm | tuned XML modules; | file | diff | annotate |
| Sun, 10 Jul 2011 20:59:04 +0200 | wenzelm | inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control); | file | diff | annotate |
| Sun, 10 Jul 2011 17:58:11 +0200 | wenzelm | lambda terms with XML data representation in Scala; | file | diff | annotate |
| Sun, 10 Jul 2011 16:34:17 +0200 | wenzelm | XML data representation of lambda terms; | file | diff | annotate |