recovered sort indentation for "sort position", as documented in the file;
authorwenzelm
Mon Oct 26 20:04:20 2009 +0100 (2009-10-26)
changeset 3321094ae82a4452f
parent 33209 d36ca3960e33
child 33211 68e5b26cc140
recovered sort indentation for "sort position", as documented in the file;
more precise dependencies -- HOL-Multivariate_Analysis produces an image;
tuned;
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Mon Oct 26 20:02:37 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Oct 26 20:04:20 2009 +0100
     1.3 @@ -6,7 +6,20 @@
     1.4  
     1.5  default: HOL
     1.6  generate: HOL-Generate-HOL HOL-Generate-HOLLight
     1.7 -images: HOL HOL-Base HOL-Plain HOL-Main HOL-Algebra HOL-Nominal HOL-NSA HOL-SMT HOL-Word TLA HOL4
     1.8 +
     1.9 +images: \
    1.10 +  HOL \
    1.11 +  HOL-Algebra \
    1.12 +  HOL-Base \
    1.13 +  HOL-Main \
    1.14 +  HOL-Multivariate_Analysis \
    1.15 +  HOL-NSA \
    1.16 +  HOL-Nominal \
    1.17 +  HOL-Plain \
    1.18 +  HOL-SMT \
    1.19 +  HOL-Word \
    1.20 +  HOL4 \
    1.21 +  TLA
    1.22  
    1.23  #Note: keep targets sorted (except for HOL-Library and HOL-ex)
    1.24  test: \
    1.25 @@ -19,11 +32,11 @@
    1.26    HOL-Hahn_Banach \
    1.27    HOL-Hoare \
    1.28    HOL-Hoare_Parallel \
    1.29 -  HOL-Import \
    1.30    HOL-IMP \
    1.31    HOL-IMPP \
    1.32    HOL-IOA \
    1.33    HOL-Imperative_HOL \
    1.34 +  HOL-Import \
    1.35    HOL-Induct \
    1.36    HOL-Isar_Examples \
    1.37    HOL-Lambda \
    1.38 @@ -33,7 +46,6 @@
    1.39    HOL-MicroJava \
    1.40    HOL-Mirabelle \
    1.41    HOL-Modelcheck \
    1.42 -  HOL-Multivariate_Analysis \
    1.43    HOL-NanoJava \
    1.44    HOL-Nitpick_Examples \
    1.45    HOL-Nominal-Examples \
    1.46 @@ -41,13 +53,13 @@
    1.47    HOL-Old_Number_Theory \
    1.48    HOL-Prolog \
    1.49    HOL-SET_Protocol \
    1.50 +  HOL-SMT-Examples \
    1.51    HOL-SizeChange \
    1.52 -  HOL-SMT-Examples \
    1.53    HOL-Statespace \
    1.54    HOL-Subst \
    1.55 -  TLA-Buffer \
    1.56 -  TLA-Inc \
    1.57 -  TLA-Memory \
    1.58 +      TLA-Buffer \
    1.59 +      TLA-Inc \
    1.60 +      TLA-Memory \
    1.61    HOL-UNITY \
    1.62    HOL-Unix \
    1.63    HOL-W0 \