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 46790 f3c10e908f65
parent 46785 150f37dad503
child 46795 72c77ea184e6 
--- a/src/HOL/IsaMakefile	Sat Mar 03 22:38:11 2012 +0100
+++ b/src/HOL/IsaMakefile	Sat Mar 03 22:38:33 2012 +0100
@@ -22,7 +22,7 @@
   Import-HOL4 \
   Import-HOL_Light \
   Import-HOL4-Imported \
-  Import-HOL_Light-Imported \
+#  Import-HOL_Light-Imported \  FIXME not operative at the moment \
   IOA \
   TLA \
   HOL-Base \
isabelle