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