src/HOL/IsaMakefile
changeset 33285 a0de1d5c7b3d
parent 33272 73a0c804840f
child 33298 dfda74619509
     1.1 --- a/src/HOL/IsaMakefile	Wed Oct 28 18:02:06 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Oct 28 18:21:02 2009 +0100
     1.3 @@ -1069,6 +1069,7 @@
     1.4    Multivariate_Analysis/Convex_Euclidean_Space.thy
     1.5  	@cd Multivariate_Analysis; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Multivariate_Analysis
     1.6  
     1.7 +
     1.8  ## HOL-Probability
     1.9  
    1.10  HOL-Probability: HOL $(LOG)/HOL-Probability.gz
    1.11 @@ -1079,7 +1080,8 @@
    1.12    Probability/SeriesPlus.thy \
    1.13    Probability/Caratheodory.thy \
    1.14    Probability/Measure.thy
    1.15 -	$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Probability
    1.16 +	@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Probability
    1.17 +
    1.18  
    1.19  ## HOL-Nominal
    1.20