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 15009 8c89f588c7aa
parent 14842 3a1fe2c524d0
child 15013 34264f5e4691 
--- a/src/HOL/IsaMakefile	Mon Jun 28 11:15:13 2004 +0200
+++ b/src/HOL/IsaMakefile	Tue Jun 29 10:07:56 2004 +0200
@@ -638,7 +638,7 @@
 
 $(LOG)/HOL-Matrix.gz: $(OUT)/HOL Matrix/ROOT.ML \
   Matrix/Matrix.thy Matrix/LinProg.thy Matrix/MatrixGeneral.thy \
-  Matrix/document/root.tex
+  Matrix/SparseMatrix.thy Matrix/document/root.tex
 	@$(ISATOOL) usedir $(OUT)/HOL Matrix
isabelle