| Thu, 24 Apr 1997 19:46:24 +0200 | wenzelm | adapted for 1.09.27 (and later); | changeset | files |
| Thu, 24 Apr 1997 19:46:05 +0200 | wenzelm | open General (type option is in Option in the newer versions, but always | changeset | files |
| Thu, 24 Apr 1997 19:41:00 +0200 | wenzelm | adapted to SML/NJ 1.09.27; | changeset | files |