Wed, 24 Oct 2007 21:33:37 +0200 | wenzelm | updated; | changeset | files |
Wed, 24 Oct 2007 21:12:44 +0200 | wenzelm | README for polyml-5.1 binary distribution; | changeset | files |
Wed, 24 Oct 2007 20:38:27 +0200 | wenzelm | avoid very slow metis invocation (saves 1min on 1.60 GHz machine); | changeset | files |