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.
src/HOL/IsaMakefile
changeset 46809 87050841e40e
parent 46808 a4ae06650a0a
child 46827 9f82058567ce 
--- a/src/HOL/IsaMakefile	Sun Mar 04 10:33:47 2012 +0100
+++ b/src/HOL/IsaMakefile	Sun Mar 04 10:34:44 2012 +0100
@@ -11,10 +11,6 @@
   HOL-Library \
   HOL-Algebra \
   HOL-Boogie \
-  HOL-HOL4 \
-  HOL-HOL_Light \
-  HOL-HOL4-Imported \
-#  HOL-HOL_Light-Imported \  FIXME not operative at the moment \
   HOL-IMP \
   HOL-Multivariate_Analysis \
   HOL-NSA \
@@ -42,6 +38,10 @@
       HOLCF-Library \
       HOLCF-Tutorial \
       HOLCF-ex \
+  HOL-HOL4 \
+  HOL-HOL4-Imported \
+  HOL-HOL_Light \
+#  HOL-HOL_Light-Imported \  FIXME not operative at the moment \
   HOL-IMPP \
   HOL-IOA \
       IOA-ABP \
isabelle