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 27484 dbb9981c3d18
parent 27480 02d5a9603bd9
child 27624 a925aa66e17a 
--- a/src/HOL/IsaMakefile	Thu Jul 03 20:53:44 2008 +0200
+++ b/src/HOL/IsaMakefile	Fri Jul 04 07:39:01 2008 +0200
@@ -820,13 +820,12 @@
   $(SRC)/Tools/Compute_Oracle/linker.ML					\
   $(SRC)/Tools/Compute_Oracle/am_ghc.ML					\
   $(SRC)/Tools/Compute_Oracle/am_sml.ML					\
-  $(SRC)/Tools/Compute_Oracle/compute.ML Matrix/MatrixGeneral.thy	\
+  $(SRC)/Tools/Compute_Oracle/compute.ML	\
   Matrix/Matrix.thy Matrix/SparseMatrix.thy Matrix/LP.thy		\
   Matrix/document/root.tex Matrix/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
+  Matrix/cplex/matrixlp.ML
 	@$(ISATOOL) usedir -g true $(OUT)/HOL Matrix
isabelle