# HG changeset patch
# User wenzelm
# Date 1256583860 -3600
# Node ID 94ae82a4452fec87fe4534c3898456c83923b782
# Parent  d36ca3960e330571ad72f142bf043093ca501f5b
recovered sort indentation for "sort position", as documented in the file;
more precise dependencies -- HOL-Multivariate_Analysis produces an image;
tuned;

diff -r d36ca3960e33 -r 94ae82a4452f src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Oct 26 20:02:37 2009 +0100
+++ b/src/HOL/IsaMakefile	Mon Oct 26 20:04:20 2009 +0100
@@ -6,7 +6,20 @@
 
 default: HOL
 generate: HOL-Generate-HOL HOL-Generate-HOLLight
-images: HOL HOL-Base HOL-Plain HOL-Main HOL-Algebra HOL-Nominal HOL-NSA HOL-SMT HOL-Word TLA HOL4
+
+images: \
+  HOL \
+  HOL-Algebra \
+  HOL-Base \
+  HOL-Main \
+  HOL-Multivariate_Analysis \
+  HOL-NSA \
+  HOL-Nominal \
+  HOL-Plain \
+  HOL-SMT \
+  HOL-Word \
+  HOL4 \
+  TLA
 
 #Note: keep targets sorted (except for HOL-Library and HOL-ex)
 test: \
@@ -19,11 +32,11 @@
   HOL-Hahn_Banach \
   HOL-Hoare \
   HOL-Hoare_Parallel \
-  HOL-Import \
   HOL-IMP \
   HOL-IMPP \
   HOL-IOA \
   HOL-Imperative_HOL \
+  HOL-Import \
   HOL-Induct \
   HOL-Isar_Examples \
   HOL-Lambda \
@@ -33,7 +46,6 @@
   HOL-MicroJava \
   HOL-Mirabelle \
   HOL-Modelcheck \
-  HOL-Multivariate_Analysis \
   HOL-NanoJava \
   HOL-Nitpick_Examples \
   HOL-Nominal-Examples \
@@ -41,13 +53,13 @@
   HOL-Old_Number_Theory \
   HOL-Prolog \
   HOL-SET_Protocol \
+  HOL-SMT-Examples \
   HOL-SizeChange \
-  HOL-SMT-Examples \
   HOL-Statespace \
   HOL-Subst \
-  TLA-Buffer \
-  TLA-Inc \
-  TLA-Memory \
+      TLA-Buffer \
+      TLA-Inc \
+      TLA-Memory \
   HOL-UNITY \
   HOL-Unix \
   HOL-W0 \