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.
rm IOA TLA;
authorwenzelm
Mon, 20 Oct 1997 15:20:42 +0200
changeset 3957 7914990748ad
parent 3956 d59fe4579004
child 3958 78a8e9a1c2f9
rm IOA TLA;
lib/Tools/makeall file | annotate | diff | comparison | revisions 
--- a/lib/Tools/makeall	Mon Oct 20 15:20:20 1997 +0200
+++ b/lib/Tools/makeall	Mon Oct 20 15:20:42 1997 +0200
@@ -61,7 +61,7 @@
 
 case $FORCE.$EXEC in
   on.on) (cd $ISABELLE_OUTPUT;
-          for f in Pure FOL ZF CCL LCF CTT Sequents HOL HOLCF Cube FOLP
+          for f in Pure FOL ZF CCL LCF CTT Sequents HOL HOLCF Cube FOLP IOA TLA
 	  do 
 	   rm -f $f
 	  done)
isabelle