| Sat, 13 Mar 2010 16:44:12 +0100 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| Sun, 21 Feb 2010 20:54:40 +0100 | wenzelm | simplified syntax -- to make it work for authentic syntax; | file | diff | annotate |
| Mon, 08 Feb 2010 21:28:27 +0100 | wenzelm | modernized some syntax translations; | file | diff | annotate |