Sat, 09 Dec 2006 18:05:50 +0100 | wenzelm | simplified abbrev: single argument; | file | diff | annotate |
Thu, 07 Dec 2006 21:08:51 +0100 | wenzelm | abbrevs: more careful interpretation, avoid dynamic references to local names; | file | diff | annotate |
Thu, 07 Dec 2006 17:58:42 +0100 | wenzelm | Common term syntax declarations. | file | diff | annotate |