| 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 |
| Wed, 28 May 2008 22:50:30 +0200 | wenzelm | prepared for Isabelle2008; | changeset | files |
| Wed, 28 May 2008 22:13:31 +0200 | wenzelm | added ISABELLE_HOME to startup; | changeset | files |