Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more accurate dependencies;
authorwenzelm
Thu, 24 Jun 2010 11:08:21 +0200
changeset 37522 0246a314b57d
parent 37521 8a226fd561f8
child 37523 40c352510065
child 37530 70d03844b2f9
more accurate dependencies;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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