COMMENT IN WRONG PLACE
authorpaulson
Thu Mar 24 10:59:21 2005 +0100 (2005-03-24 ago)
changeset 156214c964b85df5c
parent 15620 8ccdc8bc66a2
child 15622 4723248c982b
COMMENT IN WRONG PLACE
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Wed Mar 23 12:09:18 2005 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Mar 24 10:59:21 2005 +0100
     1.3 @@ -18,7 +18,6 @@
     1.4    HOL-CTL \
     1.5    HOL-Extraction \
     1.6        HOL-Complex-HahnBanach \
     1.7 -      ####lcp temporary####HOL-Complex-Import \
     1.8    HOL-Hoare \
     1.9    HOL-HoareParallel \
    1.10    HOL-IMP \
    1.11 @@ -44,6 +43,7 @@
    1.12    HOL-W0 \
    1.13    HOL-ex
    1.14      # ^ this is the sort position
    1.15 +      ####lcp temporary####HOL-Complex-Import \
    1.16  
    1.17  all: test images
    1.18