Sat, 09 Dec 2006 18:05:41 +0100 | wenzelm | tuned Consts signature; | changeset | files |
Sat, 09 Dec 2006 18:05:40 +0100 | wenzelm | abbrevs: print original rhs; | changeset | files |
Sat, 09 Dec 2006 18:05:39 +0100 | wenzelm | abbreviate: always authentic, force expansion of internal abbreviations; | changeset | files |