| Tue, 19 Nov 1996 14:20:02 +0100 | wenzelm | restored changed prettyprinting of ==>; | changeset | files |
| Tue, 19 Nov 1996 13:21:28 +0100 | wenzelm | removed old commented out text; | changeset | files |
| Tue, 19 Nov 1996 13:21:02 +0100 | wenzelm | minor tuning; | changeset | files |
| Tue, 19 Nov 1996 13:20:38 +0100 | wenzelm | tuned some char names; | changeset | files |
| Tue, 19 Nov 1996 13:04:07 +0100 | wenzelm | added this file; | changeset | files |
| Tue, 19 Nov 1996 13:03:35 +0100 | wenzelm | added add_modesyntax(_i); | changeset | files |
| Mon, 18 Nov 1996 17:33:35 +0100 | wenzelm | added symbolfont syntax; | changeset | files |