# HG changeset patch
# User wenzelm
# Date 1331127035 -3600
# Node ID 9f82058567ce185eba62b97136c4e8b0cfc88570
# Parent  4c80c4034f1d36cc82d892b06db93b677240bdb3
some recovery of IsaMakefile targets from f3c10e908f65;

diff -r 4c80c4034f1d -r 9f82058567ce src/HOL/IsaMakefile
--- 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 \