| Wed, 09 Nov 2011 14:58:48 +0100 | wenzelm | tuned signature -- emphasize internal role of these operations; | file | diff | annotate |
| Wed, 07 Sep 2011 21:05:53 +0200 | wenzelm | explicit join_syntax ensures command transaction integrity of 'theory'; | file | diff | annotate |
| Wed, 10 Aug 2011 16:05:14 +0200 | wenzelm | future_job: explicit indication of interrupts; | file | diff | annotate |
| Sat, 06 Aug 2011 15:48:08 +0200 | kleing | make syntax ambiguity warnings a config option | 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 |
| Mon, 27 Jun 2011 15:01:08 +0200 | wenzelm | parallel Syntax.parse, which is rather slow; | file | diff | annotate |