disabled HOL-Proofs-Lambda temporarily, which causes problems with 2a1953f0d20d;
authorwenzelm
Mon Mar 26 19:18:03 2012 +0200 (2012-03-26)
changeset 47120500a5d97511a
parent 47119 81ada90d8220
child 47121 fb5764df8a9c
child 47123 24a1cb3fdf09
child 47127 c1950a58b670
disabled HOL-Proofs-Lambda temporarily, which causes problems with 2a1953f0d20d;
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Mon Mar 26 18:32:22 2012 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Mar 26 19:18:03 2012 +0200
     1.3 @@ -65,7 +65,6 @@
     1.4    HOL-Predicate_Compile_Examples \
     1.5    HOL-Prolog \
     1.6    HOL-Proofs-ex \
     1.7 -  HOL-Proofs-Lambda \
     1.8    HOL-SET_Protocol \
     1.9    HOL-SPARK-Examples \
    1.10    HOL-SPARK-Manual \
    1.11 @@ -81,6 +80,8 @@
    1.12    HOL-ZF
    1.13      # ^ this is the sort position
    1.14  
    1.15 +# FIXME  HOL-Proofs-Lambda
    1.16 +
    1.17  generate: \
    1.18    HOL-HOL4-Generate \
    1.19    HOL-HOL_Light-Generate