src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Tue May 13 08:59:21 2003 +0200
+++ b/src/HOL/IsaMakefile	Wed May 14 10:22:09 2003 +0200
@@ -10,11 +10,11 @@
 images: HOL HOL-Algebra HOL-Complex TLA
 
 #Note: keep targets sorted (except for HOL-Library)
+#  HOL-Bali
 test: \
   HOL-Library \
   HOL-Auth \
   HOL-AxClasses \
-  HOL-Bali \
   HOL-Complex-ex \
   HOL-CTL \
   HOL-Extraction \