| Mon, 22 Aug 2011 23:39:05 +0200 | wenzelm | special treatment of structure index 1 in Pure, including legacy warning; | file | diff | annotate |
| Mon, 22 Aug 2011 20:00:04 +0200 | wenzelm | tuned message; | file | diff | annotate |
| Mon, 22 Aug 2011 17:10:22 +0200 | wenzelm | old-style numbered structure index is legacy feature (hardly ever used now); | file | diff | annotate |
| 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 |