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 |