# HG changeset patch
# User schirmer
# Date 1052937389 -7200
# Node ID 3240066af013dc49ed528f1cd289d7570a96d414
# Parent  cd928c0ac225aa82077dc5fca27d02da8c219993
Added Bali to test

diff -r cd928c0ac225 -r 3240066af013 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 \