| Sat, 08 Apr 2006 22:51:31 +0200 | wenzelm | removed fix_mixfix; | changeset | files |
| Sat, 08 Apr 2006 22:51:30 +0200 | wenzelm | abbreviation(_i): do not expand abbreviations, do not use derived_def; | changeset | files |
| Sat, 08 Apr 2006 22:51:28 +0200 | wenzelm | add_abbrevs(_i): support print mode; | changeset | files |