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.
switch of target Import-HOL_Light-Imported: not operative at the moment
authorhaftmann
Sat, 03 Mar 2012 22:38:33 +0100
changeset 46790 f3c10e908f65
parent 46789 074dc33767a5
child 46791 e1569a38448c
switch of target Import-HOL_Light-Imported: not operative at the moment
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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