| Wed, 28 May 2008 23:43:39 +0200 | wenzelm | moved README-polyml to polyml/README; | changeset | files |
| Wed, 28 May 2008 23:42:36 +0200 | wenzelm | README for Poly/ML 5.2 distribution; | changeset | files |
| Wed, 28 May 2008 23:36:19 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 28 May 2008 23:33:51 +0200 | wenzelm | more contribs; | changeset | files |
| Wed, 28 May 2008 23:33:36 +0200 | wenzelm | misc tuning for Isabelle2008; | changeset | files |
| Wed, 28 May 2008 23:33:15 +0200 | wenzelm | added some notable improvements; | changeset | files |
| Wed, 28 May 2008 22:54:05 +0200 | wenzelm | tuned version numbers; | changeset | files |