Thu, 28 Oct 1993 11:30:35 +0100 | lcp | now uses datatype_intrs and datatype_elims | changeset | files |
Thu, 28 Oct 1993 11:28:36 +0100 | lcp | updated version to October 93 | changeset | files |
Wed, 27 Oct 1993 13:49:35 +0100 | lcp | no longer specifies "-h 15000". Instead $ISABELLECOMP should | changeset | files |
Tue, 26 Oct 1993 22:24:20 +0100 | clasohm | corrected some spelling mistakes; | changeset | files |
Mon, 25 Oct 1993 12:42:33 +0100 | wenzelm | added white-space; | changeset | files |
Mon, 25 Oct 1993 12:32:53 +0100 | wenzelm | added white-space; | changeset | files |