# HG changeset patch
# User clasohm
# Date 804425675 -7200
# Node ID def4ee9e116dca4334ba9698173f99d818309e38
# Parent  97b2bb5d43c3cf3c33c4d7c000d93b6e9b5f656f
renamed CHOL to HOL

diff -r 97b2bb5d43c3 -r def4ee9e116d src/Tools/make-all
--- a/src/Tools/make-all	Thu Jun 29 12:48:48 1995 +0200
+++ b/src/Tools/make-all	Thu Jun 29 13:34:35 1995 +0200
@@ -54,7 +54,7 @@
 echo Log files will be called make$$.log.gz
 
 case $FORCE.$EXEC in
-    on.on) (cd $ISABELLEBIN; rm -f Pure FOL ZF CCL LCF CTT LK Modal HOL CHOL HOLCF Cube FOLP)
+    on.on) (cd $ISABELLEBIN; rm -f Pure FOL ZF CCL LCF CTT LK Modal Old_HOL HOL HOLCF Cube FOLP)
 esac
 
 set +e			#no longer fail upon errors -- e.g. if a "make" fails
@@ -134,11 +134,11 @@
 
 echo
 echo
-echo '*****Higher-Order Logic (HOL)*****'
-(cd HOL;  make $NO $TEST > make$$.log)
-tail HOL/make$$.log
-gzip HOL/make$$.log
-#cannot delete HOL yet... it is needed for HOLCF!
+echo '*****Higher-Order Logic (Old_HOL)*****'
+(cd Old_HOL;  make $NO $TEST > make$$.log)
+tail Old_HOL/make$$.log
+gzip Old_HOL/make$$.log
+#cannot delete Old_HOL yet... it is needed for HOLCF!
 
 echo
 echo
@@ -147,17 +147,17 @@
 tail HOLCF/make$$.log
 gzip HOLCF/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm $ISABELLEBIN/HOL $ISABELLEBIN/HOLCF
+    on.on)	rm $ISABELLEBIN/Old_HOL $ISABELLEBIN/HOLCF
 esac
 
 echo
 echo
-echo '*****Curried Higher-Order Logic (CHOL)*****'
-(cd CHOL;  make $NO $TEST > make$$.log)
-tail CHOL/make$$.log
-gzip CHOL/make$$.log
+echo '*****Curried Higher-Order Logic (HOL)*****'
+(cd HOL;  make $NO $TEST > make$$.log)
+tail HOL/make$$.log
+gzip HOL/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm $ISABELLEBIN/CHOL
+    on.on)	rm $ISABELLEBIN/HOL
 esac
 
 echo
@@ -184,7 +184,7 @@
     test.on)	echo
 	        echo '***** Now check the dates on the "test" files *****'
         	ls -lrt FOL/test ZF/test CCL/test LCF/test CTT/test\
-              	        LK/test Modal/test HOL/test CHOL/test HOLCF/test\
+              	        LK/test Modal/test Old_HOL/test HOL/test HOLCF/test\
                         Cube/test FOLP/test
 esac
 echo Finished at `date`