# HG changeset patch
# User wenzelm
# Date 1222606011 -7200
# Node ID 30ba169e8c450baccab169bd82b9c7e94c054514
# Parent  d10839c203bd5e7cdff5d9e150f27ff6b5dc2149
HOL no longer depends on HOL-Plain;

diff -r d10839c203bd -r 30ba169e8c45 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sun Sep 28 14:40:43 2008 +0200
+++ b/src/HOL/IsaMakefile	Sun Sep 28 14:46:51 2008 +0200
@@ -62,7 +62,7 @@
 
 ## HOL
 
-HOL: HOL-Plain $(OUT)/HOL
+HOL: Pure $(OUT)/HOL
 
 HOL-Plain: Pure $(OUT)/HOL-Plain