| Fri, 19 Aug 1994 15:36:45 +0200 | wenzelm | added map_strs: (string -> string) -> T -> T; | changeset | files |
| Fri, 19 Aug 1994 15:36:23 +0200 | wenzelm | removed roots arg of extend_gram; | changeset | files |
| Fri, 19 Aug 1994 15:35:56 +0200 | wenzelm | minor cleanings; | changeset | files |
| Fri, 19 Aug 1994 15:35:38 +0200 | wenzelm | replaced id, var, tid, tvar by idT, varT, tidT, tvarT; | changeset | files |
| Fri, 19 Aug 1994 15:34:58 +0200 | wenzelm | replaced SExtension by SynTrans (mixfix stuff in Mixfix); | changeset | files |
| Fri, 19 Aug 1994 15:34:28 +0200 | wenzelm | added this file; | changeset | files |