# HG changeset patch
# User wenzelm
# Date 1277370501 -7200
# Node ID 0246a314b57d9f4ecd20615aa1f5d96f10e0e2e4
# Parent  8a226fd561f8c1c920e1e593013978e8e5976b22
more accurate dependencies;

diff -r 8a226fd561f8 -r 0246a314b57d src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Jun 24 09:04:50 2010 +0200
+++ b/src/HOL/IsaMakefile	Thu Jun 24 11:08:21 2010 +0200
@@ -1093,6 +1093,7 @@
 
 $(OUT)/HOL-Multivariate_Analysis: $(OUT)/HOL				\
   Multivariate_Analysis/Brouwer_Fixpoint.thy				\
+  Multivariate_Analysis/Cartesian_Euclidean_Space.thy                   \
   Multivariate_Analysis/Convex_Euclidean_Space.thy			\
   Multivariate_Analysis/Derivative.thy					\
   Multivariate_Analysis/Determinants.thy				\