| 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 |
| Fri, 22 Oct 1993 22:17:25 +0100 | clasohm | removed a bug that occured when a path was specified for use_thy's parameter | changeset | files |
| Fri, 22 Oct 1993 17:39:12 +0100 | lcp | ZF/ex/tf,tf_fn: renamed the variable tf to f everywhere | changeset | files |