Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/makebin
changeset 40779 24851517ef15
parent 37340 f3492868bbfd
child 41556 f55d564e0521 
--- a/Admin/makebin	Sun Nov 28 12:11:41 2010 +0100
+++ b/Admin/makebin	Sun Nov 28 13:55:19 2010 +0100
@@ -101,7 +101,7 @@
   ./build -bait
 else
   ./build -b -m HOL-Nominal HOL
-  ./build -b HOLCF
+  ./build -b -m HOLCF HOL
   ./build -b ZF
 fi
isabelle