| 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 |