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.
HOL-Matrix: document setup;
authorwenzelm
Fri, 23 Apr 2004 20:50:16 +0200
changeset 14663 1d97b5f55261
parent 14662 d2c6a0f030ab
child 14664 148f6175fa78
HOL-Matrix: document setup;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Fri Apr 23 20:49:26 2004 +0200
+++ b/src/HOL/IsaMakefile	Fri Apr 23 20:50:16 2004 +0200
@@ -638,9 +638,8 @@
 HOL-Matrix: HOL $(LOG)/HOL-Matrix.gz
 
 $(LOG)/HOL-Matrix.gz: $(OUT)/HOL Matrix/ROOT.ML \
-  Matrix/Matrix.thy\
-	Matrix/LinProg.thy\
-	Matrix/MatrixGeneral.thy
+  Matrix/Matrix.thy Matrix/LinProg.thy Matrix/MatrixGeneral.thy \
+  Matrix/document/root.tex
 	@$(ISATOOL) usedir $(OUT)/HOL Matrix
isabelle