Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 37522 0246a314b57d
parent 37509 f39464d971c4
child 37574 b8c1f4c46983 
--- 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				\
isabelle