| Fri, 08 Apr 2011 21:11:29 +0200 | wenzelm | discontinued Syntax.max_pri, which is not really a symbolic parameter; | file | diff | annotate |
| 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 |