Sun, 30 Aug 1998 15:14:42 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
Fri, 28 Aug 1998 15:01:13 +0200 | wenzelm | * print mode 'emacs' reserved for Isamode; | changeset | files |
Fri, 28 Aug 1998 14:59:34 +0200 | wenzelm | added emacs mode; | changeset | files |