src/Tools/make-all

 
 case $FORCE.$EXEC in
   on.on) (cd $ISABELLEBIN;
           for f in Pure FOL ZF CCL LCF CTT Sequents HOL HOLCF Cube FOLP
 	  do 
-	   rm -f $f $f.heap
+	   rm -f $f $f.heap*
 	  done)
 esac
 
 set +e			#no longer fail upon errors -- e.g. if a "make" fails
 

 echo '*****Set theory (ZF)*****'
 (cd ZF;  make $NO $TEST > make$$.log)
 tail ZF/make$$.log
 gzip ZF/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm -f $ISABELLEBIN/ZF $ISABELLEBIN/ZF.heap
+    on.on)	rm -f $ISABELLEBIN/ZF $ISABELLEBIN/ZF.heap*
 esac
 
 echo
 echo
 echo '*****Classical Computational Logic (CCL)*****'
 (cd CCL;  make $NO $TEST > make$$.log)
 tail CCL/make$$.log
 gzip CCL/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm -f $ISABELLEBIN/CCL $ISABELLEBIN/CCL.heap
+    on.on)	rm -f $ISABELLEBIN/CCL $ISABELLEBIN/CCL.heap*
 esac
 
 echo
 echo
 echo '*****Domain Theory (LCF)*****'
 (cd LCF;  make $NO $TEST > make$$.log)
 tail LCF/make$$.log
 gzip LCF/make$$.log
 case $CLEAN.$EXEC in
-  on.on)	rm -f $ISABELLEBIN/FOL $ISABELLEBIN/FOL.heap \
-                      $ISABELLEBIN/LCF $ISABELLEBIN/LCF.heap
+  on.on)	rm -f $ISABELLEBIN/FOL $ISABELLEBIN/FOL.heap* \
+                      $ISABELLEBIN/LCF $ISABELLEBIN/LCF.heap*
 esac
 
 echo
 echo
 echo '*****Constructive Type Theory (CTT)*****'
 (cd CTT;  make $NO $TEST > make$$.log)
 tail CTT/make$$.log
 gzip CTT/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm -f $ISABELLEBIN/CTT $ISABELLEBIN/CTT.heap
+    on.on)	rm -f $ISABELLEBIN/CTT $ISABELLEBIN/CTT.heap*
 esac
 
 echo
 echo
 echo '*****Sequent Calculi (Sequents)*****'
 (cd Sequents;  make $NO $TEST > make$$.log)
 tail Sequents/make$$.log
 gzip Sequents/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm -f $ISABELLEBIN/Sequents $ISABELLEBIN/Sequents.heap
+    on.on)	rm -f $ISABELLEBIN/Sequents $ISABELLEBIN/Sequents.heap*
 esac
 
 echo
 echo
 echo '*****Curried Higher-Order Logic (HOL)*****'

 echo '*****LCF in HOL (HOLCF)*****'
 (cd HOLCF;  make $NO $TEST > make$$.log)
 tail HOLCF/make$$.log
 gzip HOLCF/make$$.log
 case $CLEAN.$EXEC in
-  on.on)	rm -f $ISABELLEBIN/HOL $ISABELLEBIN/HOL.heap \
-                      $ISABELLEBIN/HOLCF $ISABELLEBIN/HOLCF.heap
+  on.on)	rm -f $ISABELLEBIN/HOL $ISABELLEBIN/HOL.heap* \
+                      $ISABELLEBIN/HOLCF $ISABELLEBIN/HOLCF.heap*
 esac
 
 echo
 echo
 echo '*****The Lambda-Cube (Cube)*****'
 (cd Cube;  make $NO $TEST > make$$.log)
 case $CLEAN.$EXEC in
-    on.on)	rm -f $ISABELLEBIN/Cube $ISABELLEBIN/Cube.heap
+    on.on)	rm -f $ISABELLEBIN/Cube $ISABELLEBIN/Cube.heap*
 esac
 tail Cube/make$$.log 
 gzip Cube/make$$.log 
 
 echo
 echo
 echo '*****First-Order Logic with Proof Terms (FOLP)*****'
 (cd FOLP;  make $NO $TEST > make$$.log)
 case $CLEAN.$EXEC in
-    on.on)	rm -f $ISABELLEBIN/FOLP $ISABELLEBIN/FOLP.heap
+    on.on)	rm -f $ISABELLEBIN/FOLP $ISABELLEBIN/FOLP.heap*
 esac
 tail FOLP/make$$.log 
 gzip FOLP/make$$.log 
 
 case $TEST.$EXEC in