| Wed, 17 Aug 2011 18:05:31 +0200 | wenzelm | modernized signature of Term.absfree/absdummy; | file | diff | annotate |
| Thu, 09 Jun 2011 17:51:49 +0200 | wenzelm | simplified Name.variant -- discontinued builtin fold_map; | file | diff | annotate |
| Tue, 26 Apr 2011 21:05:52 +0200 | wenzelm | clarified auxiliary structure Lexicon.Syntax; | file | diff | annotate |
| Fri, 08 Apr 2011 15:02:11 +0200 | wenzelm | discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext); | file | diff | annotate |
| Fri, 08 Apr 2011 13:31:16 +0200 | wenzelm | explicit structure Syntax_Trans; | file | diff | annotate | base |