| 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 |
| Fri, 22 Oct 1993 13:42:51 +0100 | clasohm | changes in Readthy: | changeset | files |
| Fri, 22 Oct 1993 13:39:23 +0100 | clasohm | delete_file now has type string -> unit in both NJ and POLY, | changeset | files |
| Fri, 22 Oct 1993 13:35:15 +0100 | clasohm | changes for new Readthy | changeset | files |