--- a/src/HOL/IsaMakefile Mon Aug 20 23:41:43 2007 +0200
+++ b/src/HOL/IsaMakefile Tue Aug 21 00:24:10 2007 +0200
@@ -11,8 +11,8 @@
#Note: keep targets sorted (except for HOL-Library)
test: \
+ HOL-Library \
HOL-ex \
- HOL-Library \
HOL-Auth \
HOL-AxClasses \
HOL-Bali \