Tue, 27 May 1997 17:49:52 +0200 | wenzelm | polyml-3.1 default again (for local work); | changeset | files |
Tue, 27 May 1997 16:31:26 +0200 | wenzelm | fixed -P (checkout only); | changeset | files |
Tue, 27 May 1997 15:45:07 +0200 | wenzelm | NJ 1.09.2x as factory default! | changeset | files |