# HG changeset patch
# User wenzelm
# Date 1015025335 -3600
# Node ID 7c3d4e57e3d42583e0afce6b1f44d47194c1f590
# Parent  3d5807d4543927261ba7ad871684251a7b7bf301
temporarily disabled HoareParallel target;

diff -r 3d5807d45439 -r 7c3d4e57e3d4 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Mar 01 22:32:38 2002 +0100
+++ b/src/HOL/IsaMakefile	Sat Mar 02 00:28:55 2002 +0100
@@ -21,7 +21,6 @@
       HOL-Real-HahnBanach \
       HOL-Real-ex \
   HOL-Hoare \
-  HOL-HoareParallel \
   HOL-IMP \
   HOL-IMPP \
   HOL-IOA \