| Fri, 17 Dec 2010 17:43:54 +0100 | wenzelm | replaced command 'nonterminals' by slightly modernized version 'nonterminal'; | file | diff | annotate |
| Thu, 02 Dec 2010 16:52:52 +0100 | wenzelm | configuration option "show_abbrevs" supersedes print mode "no_abbrevs", with inverted meaning; | file | diff | annotate |