Fri, 12 Jan 2001 09:32:53 +0100 | wenzelm | tuned; | changeset | files |
Thu, 11 Jan 2001 21:51:14 +0100 | wenzelm | do not hilite "xnum"; | changeset | files |
Thu, 11 Jan 2001 19:38:37 +0100 | wenzelm | make_raw: do not AutoBind.drop_judgment; | changeset | files |
Thu, 11 Jan 2001 19:38:02 +0100 | wenzelm | induct cases: RuleCases.make_raw; | changeset | files |
Thu, 11 Jan 2001 19:37:46 +0100 | wenzelm | added strict_prefixI', strict_prefixE'; | changeset | files |
Thu, 11 Jan 2001 19:36:25 +0100 | wenzelm | subst syntax; | changeset | files |