# HG changeset patch # User wenzelm # Date 1082746216 -7200 # Node ID 1d97b5f5526188b93f779c9018a708a14bed71d7 # Parent d2c6a0f030ab7d5f5fdac87f20242389de84b65b HOL-Matrix: document setup; diff -r d2c6a0f030ab -r 1d97b5f55261 src/HOL/IsaMakefile --- 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