| Fri, 28 Feb 1997 16:46:26 +0100 | wenzelm | added token translation support; | changeset | files |
| Fri, 28 Feb 1997 16:45:38 +0100 | wenzelm | term_of_... now mark class, tfree, tvar; | changeset | files |
| Fri, 28 Feb 1997 16:44:30 +0100 | wenzelm | added mark_bound(T), variant_abs'; | changeset | files |
| Fri, 28 Feb 1997 16:42:06 +0100 | wenzelm | Token translations for xterm and LaTeX output. | changeset | files |