src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Wed May 14 20:29:18 2003 +0200
+++ b/src/HOL/IsaMakefile	Wed May 14 20:36:29 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 \