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 17489 f70d62d5f9c8
parent 17488 67376a311a2b
child 17507 507e519a0dad 
--- a/src/HOL/IsaMakefile	Mon Sep 19 18:30:22 2005 +0200
+++ b/src/HOL/IsaMakefile	Mon Sep 19 19:49:09 2005 +0200
@@ -639,25 +639,12 @@
 
 ## HOL-Complex-Matrix
 
-#HOL-Complex-Matrix: HOL $(LOG)/HOL-Complex-Matrix.gz
-
-#$(LOG)/HOL-Complex-Matrix.gz: $(OUT)/HOL-Complex \
-#  Matrix/MatrixGeneral.thy Matrix/Matrix.thy Matrix/SparseMatrix.thy \
-#  Matrix/document/root.tex Matrix/ROOT.ML \
-#  Matrix/cplex/ROOT.ML Matrix/cplex/Cplex.thy Matrix/cplex/CplexMatrixConverter.ML \
-#  Matrix/cplex/Cplex_tools.ML Matrix/cplex/FloatSparseMatrix.thy \
-#  Matrix/cplex/FloatSparseMatrixBuilder.ML Matrix/cplex/fspmlp.ML \
-#  Matrix/cplex/MatrixLP.thy Matrix/cplex/MatrixLP.ML
-#	@$(ISATOOL) usedir $(OUT)/HOL-Complex Matrix
-
-## HOL-Complex-Matrix
-
 HOL-Complex-Matrix: HOL $(OUT)/HOL-Complex-Matrix
 
 $(OUT)/HOL-Complex-Matrix: $(OUT)/HOL-Complex \
   Matrix/MatrixGeneral.thy Matrix/Matrix.thy Matrix/SparseMatrix.thy \
   Matrix/document/root.tex Matrix/ROOT.ML \
-  Matrix/cplex/ROOT.ML Matrix/cplex/Cplex.thy Matrix/cplex/CplexMatrixConverter.ML \
+  Matrix/cplex/Cplex.thy Matrix/cplex/CplexMatrixConverter.ML \
   Matrix/cplex/Cplex_tools.ML Matrix/cplex/FloatSparseMatrix.thy \
   Matrix/cplex/FloatSparseMatrixBuilder.ML Matrix/cplex/fspmlp.ML \
   Matrix/cplex/MatrixLP.thy Matrix/cplex/MatrixLP.ML
isabelle