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.
corrected title
authorhaftmann
Tue, 13 Jul 2010 11:38:04 +0200
changeset 37788 261c61fabc98
parent 37787 30dc3abf4a58
child 37789 93f6dcf9ec02
child 37793 f224ee04d39c
child 37796 08bd610b2583
corrected title
src/HOL/Matrix/CplexMatrixConverter.ML file | annotate | diff | comparison | revisions
src/HOL/Matrix/Cplex_tools.ML file | annotate | diff | comparison | revisions
src/HOL/Matrix/FloatSparseMatrixBuilder.ML file | annotate | diff | comparison | revisions
src/HOL/Matrix/fspmlp.ML file | annotate | diff | comparison | revisions
src/HOL/Matrix/matrixlp.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Matrix/CplexMatrixConverter.ML	Tue Jul 13 11:38:03 2010 +0200
+++ b/src/HOL/Matrix/CplexMatrixConverter.ML	Tue Jul 13 11:38:04 2010 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Matrix/cplex/CplexMatrixConverter.ML
+(*  Title:      HOL/Matrix/CplexMatrixConverter.ML
     Author:     Steven Obua
 *)
 
--- a/src/HOL/Matrix/Cplex_tools.ML	Tue Jul 13 11:38:03 2010 +0200
+++ b/src/HOL/Matrix/Cplex_tools.ML	Tue Jul 13 11:38:04 2010 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Matrix/cplex/Cplex_tools.ML
+(*  Title:      HOL/Matrix/Cplex_tools.ML
     Author:     Steven Obua
 *)
 
--- a/src/HOL/Matrix/FloatSparseMatrixBuilder.ML	Tue Jul 13 11:38:03 2010 +0200
+++ b/src/HOL/Matrix/FloatSparseMatrixBuilder.ML	Tue Jul 13 11:38:04 2010 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Matrix/cplex/FloatSparseMatrixBuilder.ML
+(*  Title:      HOL/Matrix/FloatSparseMatrixBuilder.ML
     Author:     Steven Obua
 *)
 
--- a/src/HOL/Matrix/fspmlp.ML	Tue Jul 13 11:38:03 2010 +0200
+++ b/src/HOL/Matrix/fspmlp.ML	Tue Jul 13 11:38:04 2010 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Matrix/cplex/fspmlp.ML
+(*  Title:      HOL/Matrix/fspmlp.ML
     Author:     Steven Obua
 *)
 
--- a/src/HOL/Matrix/matrixlp.ML	Tue Jul 13 11:38:03 2010 +0200
+++ b/src/HOL/Matrix/matrixlp.ML	Tue Jul 13 11:38:04 2010 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Matrix/cplex/matrixlp.ML
+(*  Title:      HOL/Matrix/matrixlp.ML
     Author:     Steven Obua
 *)
isabelle