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.
some recovery of IsaMakefile targets from f3c10e908f65;
authorwenzelm
Wed, 07 Mar 2012 14:30:35 +0100
changeset 46827 9f82058567ce
parent 46826 4c80c4034f1d
child 46828 b1d15637381a
some recovery of IsaMakefile targets from f3c10e908f65;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Mar 07 13:00:30 2012 +0000
+++ b/src/HOL/IsaMakefile	Wed Mar 07 14:30:35 2012 +0100
@@ -41,7 +41,6 @@
   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