| Thu, 21 Nov 1996 15:12:39 +0100 | paulson | Further comments on versions of SML/NJ | changeset | files |
| Wed, 20 Nov 1996 10:32:58 +0100 | nipkow | plus -> Plus to avoid hiding class plus | changeset | files |
| 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 |