# HG changeset patch
# User hoelzl
# Date 1291228929 -3600
# Node ID ab83ba2cd5d1cbc7d9b399c503d5a19570c987eb
# Parent  f010d6c316949d95ce3a571b39e54c5be442483b
Corrected IsaMakefile

diff -r f010d6c31694 -r ab83ba2cd5d1 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Dec 01 19:36:05 2010 +0100
+++ b/src/HOL/IsaMakefile	Wed Dec 01 19:42:09 2010 +0100
@@ -1176,7 +1176,7 @@
 
 HOL-Probability: HOL-Multivariate_Analysis $(OUT)/HOL-Probability
 
-$(OUT)/HOL-Probability: $(OUT)/HOL-Multivariate_Analysis
+$(OUT)/HOL-Probability: $(OUT)/HOL-Multivariate_Analysis		\
   Probability/Borel_Space.thy Probability/Caratheodory.thy		\
   Probability/Complete_Measure.thy					\
   Probability/ex/Dining_Cryptographers.thy				\