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.
follow-up to HOLCF move (cf. 0437dbc127b3, 04d44a20fccf);
authorwenzelm
Sun, 28 Nov 2010 13:55:19 +0100
changeset 40779 24851517ef15
parent 40778 04d44a20fccf
child 40780 1cabd6f4a718
follow-up to HOLCF move (cf. 0437dbc127b3, 04d44a20fccf);
Admin/CHECKLIST file | annotate | diff | comparison | revisions
Admin/makebin file | annotate | diff | comparison | revisions 
--- a/Admin/CHECKLIST	Sun Nov 28 12:11:41 2010 +0100
+++ b/Admin/CHECKLIST	Sun Nov 28 13:55:19 2010 +0100
@@ -27,6 +27,7 @@
 
 - maintain Logics:
     build
+    etc/components
     lib/html/library_index_content.template
 
 
--- 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