| 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 |
| Wed, 24 Oct 2007 20:17:50 +0200 | wenzelm | separate RecordPackage.timing flag; | changeset | files |