# HG changeset patch
# User haftmann
# Date 1330810713 -3600
# Node ID f3c10e908f65867b79d5d262d9d0a00d18d752a2
# Parent  074dc33767a5b4cd07d56f39e4550bccc0a53ddf
switch of target Import-HOL_Light-Imported: not operative at the moment

diff -r 074dc33767a5 -r f3c10e908f65 src/HOL/IsaMakefile
--- 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 \