Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
Mon, 09 Jul 2007 17:39:55 +0200 | obua | adopted to new computing oracle and fixed bugs introduced by tuning | file | diff | annotate |
Mon, 14 May 2007 12:52:56 +0200 | haftmann | reorganized float arithmetic | file | diff | annotate |
Fri, 29 Sep 2006 22:47:51 +0200 | wenzelm | moved Matrix/cplex/MatrixLP.ML to Matrix/cplex/matrixlp.ML; | file | diff | annotate |