# HG changeset patch
# User wenzelm
# Date 1127506910 -7200
# Node ID 58778df33e2f4d465ba38a952902c8477776d571
# Parent  5156b731ebc81578a4e63ec3999020eaab6dbeb6
tuned order of targets;

diff -r 5156b731ebc8 -r 58778df33e2f src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Sep 23 22:21:49 2005 +0200
+++ b/src/HOL/IsaMakefile	Fri Sep 23 22:21:50 2005 +0200
@@ -14,10 +14,10 @@
   HOL-Auth \
   HOL-AxClasses \
   HOL-Bali \
-  HOL-Complex-ex \
+  HOL-Complex-HahnBanach \
   HOL-Complex-Import \
+  HOL-Complex-ex \
   HOL-Extraction \
-      HOL-Complex-HahnBanach \
   HOL-Hoare \
   HOL-HoareParallel \
   HOL-IMP \