| 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 |
| Fri, 22 Oct 1993 13:44:27 +0100 | clasohm | renamed some files | changeset | files |
| Fri, 22 Oct 1993 13:43:45 +0100 | clasohm | added -h 15000 for Poly/ML in Makefile, | changeset | files |