Wed, 27 Nov 1996 11:01:33 +0100 |
paulson |
Now tries to delete SML/NJ .heap files
|
file |
diff |
annotate
|
Thu, 21 Nov 1996 16:04:27 +0100 |
paulson |
Added warning message
|
file |
diff |
annotate
|
Thu, 24 Oct 1996 10:43:38 +0200 |
paulson |
Changed comment to illustrate use of pathname
|
file |
diff |
annotate
|
Fri, 11 Oct 1996 10:55:03 +0200 |
paulson |
Addition of Sequents; removal of Modal and LK
|
file |
diff |
annotate
|
Wed, 07 Feb 1996 13:36:56 +0100 |
clasohm |
new SML heap images are now removed
|
file |
diff |
annotate
|
Mon, 03 Jul 1995 13:08:49 +0200 |
clasohm |
remove Old_HOL
|
file |
diff |
annotate
|
Thu, 29 Jun 1995 13:34:35 +0200 |
clasohm |
renamed CHOL to HOL
|
file |
diff |
annotate
|
Tue, 13 Jun 1995 13:38:54 +0200 |
clasohm |
added CHOL
|
file |
diff |
annotate
|
Wed, 21 Dec 1994 13:36:02 +0100 |
lcp |
Id: marker.
|
file |
diff |
annotate
|
Thu, 03 Feb 1994 16:06:55 +0100 |
lcp |
now makes HOLCF
|
file |
diff |
annotate
|
Thu, 20 Jan 1994 13:35:40 +0100 |
nipkow |
added HOLCF
|
file |
diff |
annotate
|
Mon, 20 Sep 1993 18:39:45 +0200 |
lcp |
make-all now has set +e so that New Jersey runs will continue even if some
|
file |
diff |
annotate
|
Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|