HOL no longer depends on HOL-Plain;
authorwenzelm
Sun Sep 28 14:46:51 2008 +0200 (2008-09-28)
changeset 2839330ba169e8c45
parent 28392 d10839c203bd
child 28394 b9c8e3a12a98
HOL no longer depends on HOL-Plain;
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Sun Sep 28 14:40:43 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sun Sep 28 14:46:51 2008 +0200
     1.3 @@ -62,7 +62,7 @@
     1.4  
     1.5  ## HOL
     1.6  
     1.7 -HOL: HOL-Plain $(OUT)/HOL
     1.8 +HOL: Pure $(OUT)/HOL
     1.9  
    1.10  HOL-Plain: Pure $(OUT)/HOL-Plain
    1.11