temporary removal of Import
authorpaulson
Wed Mar 23 12:08:52 2005 +0100 (2005-03-23)
changeset 15619cafa1cc0bb0a
parent 15618 05bad476e0f0
child 15620 8ccdc8bc66a2
temporary removal of Import
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Wed Mar 23 12:08:27 2005 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Mar 23 12:08:52 2005 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  
     1.5  default: HOL
     1.6  generate: HOL-Complex-Generate-HOL
     1.7 -images: HOL HOL-Algebra HOL-Complex TLA HOL4
     1.8 +images: HOL HOL-Algebra HOL-Complex TLA ####lcp temporary####HOL4
     1.9  
    1.10  #Note: keep targets sorted (except for HOL-Library)
    1.11  test: \
    1.12 @@ -18,7 +18,7 @@
    1.13    HOL-CTL \
    1.14    HOL-Extraction \
    1.15        HOL-Complex-HahnBanach \
    1.16 -      HOL-Complex-Import \
    1.17 +      ####lcp temporary####HOL-Complex-Import \
    1.18    HOL-Hoare \
    1.19    HOL-HoareParallel \
    1.20    HOL-IMP \