src/HOL/IsaMakefile
changeset 14031 3240066af013
parent 14029 fe031a7c75bc
child 14042 61093a0ac760
--- 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 \