| Fri, 08 Apr 2011 18:08:13 +0200 | wenzelm | simplified Pure syntax bootstrap; | file | diff | annotate |
| Fri, 08 Apr 2011 17:45:37 +0200 | wenzelm | renamed sprop "prop#" to "prop'" -- proper identifier; | 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 | base |