| Wed, 21 Jul 2010 09:46:36 +0200 | haftmann | abstract visualization of locale ingredients; all_locales yields proper locale identifiers | changeset | files |
| Tue, 20 Jul 2010 14:08:47 +0200 | haftmann | tuned | changeset | files |
| Tue, 20 Jul 2010 14:01:06 +0200 | haftmann | accomodate for scope of "as" binding in ML | changeset | files |
| Tue, 20 Jul 2010 10:24:18 +0200 | haftmann | tuned code | changeset | files |
| Tue, 20 Jul 2010 08:54:21 +0200 | haftmann | datatype classes are abstract | changeset | files |
| Tue, 20 Jul 2010 08:54:21 +0200 | haftmann | avoid deprecation | changeset | files |
| Tue, 20 Jul 2010 06:35:29 +0200 | haftmann | robustified metis proof | changeset | files |
| Mon, 19 Jul 2010 20:23:52 +0200 | haftmann | modernized abel_cancel simproc setup | changeset | files |