Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
now makes HOLCF
authorlcp
Thu, 03 Feb 1994 16:06:55 +0100
changeset 262 024b242bc26f
parent 261 3441647c8c90
child 263 d45f0af592f0
now makes HOLCF
make-all file | annotate | diff | comparison | revisions
src/Tools/make-all file | annotate | diff | comparison | revisions 
--- a/make-all	Thu Feb 03 14:00:36 1994 +0100
+++ b/make-all	Thu Feb 03 16:06:55 1994 +0100
@@ -142,7 +142,7 @@
 
 echo
 echo
-echo '*****LCF in HOL (HOL)*****'
+echo '*****LCF in HOL (HOLCF)*****'
 (cd HOLCF;  make $NO $TEST > make$$.log)
 tail HOLCF/make$$.log
 gzip HOLCF/make$$.log
--- a/src/Tools/make-all	Thu Feb 03 14:00:36 1994 +0100
+++ b/src/Tools/make-all	Thu Feb 03 16:06:55 1994 +0100
@@ -142,7 +142,7 @@
 
 echo
 echo
-echo '*****LCF in HOL (HOL)*****'
+echo '*****LCF in HOL (HOLCF)*****'
 (cd HOLCF;  make $NO $TEST > make$$.log)
 tail HOLCF/make$$.log
 gzip HOLCF/make$$.log
isabelle