src/HOL/IsaMakefile
changeset 14025 d9b155757dc8
parent 13984 e055ba9020eb
child 14029 fe031a7c75bc
     1.1 --- a/src/HOL/IsaMakefile	Tue May 13 08:59:21 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed May 14 10:22:09 2003 +0200
     1.3 @@ -10,11 +10,11 @@
     1.4  images: HOL HOL-Algebra HOL-Complex TLA
     1.5  
     1.6  #Note: keep targets sorted (except for HOL-Library)
     1.7 +#  HOL-Bali
     1.8  test: \
     1.9    HOL-Library \
    1.10    HOL-Auth \
    1.11    HOL-AxClasses \
    1.12 -  HOL-Bali \
    1.13    HOL-Complex-ex \
    1.14    HOL-CTL \
    1.15    HOL-Extraction \