| Sun, 24 May 2009 15:02:23 +0200 | haftmann | funpow_yield; tuned | changeset | files |
| Sun, 24 May 2009 15:02:22 +0200 | haftmann | tuned class user space type system code | changeset | files |
| Sun, 24 May 2009 15:02:22 +0200 | haftmann | dropped Id | changeset | files |
| Sun, 24 May 2009 15:02:22 +0200 | haftmann | refined construction_interpretation | changeset | files |
| Sun, 24 May 2009 15:02:21 +0200 | haftmann | exported find_shorzes_path | changeset | files |
| Sun, 24 May 2009 15:02:21 +0200 | haftmann | merged | changeset | files |
| Wed, 27 May 2009 20:35:16 +0200 | wenzelm | fixed superficial ML lapses introduced in b3c7044d47b6; | changeset | files |
| Mon, 25 May 2009 12:49:18 +0200 | wenzelm | simplified method syntax; | changeset | files |
| Mon, 25 May 2009 12:49:05 +0200 | wenzelm | modernized method setup; | changeset | files |
| Mon, 25 May 2009 12:48:18 +0200 | wenzelm | modernized method setup; | changeset | files |
| Mon, 25 May 2009 12:46:14 +0200 | wenzelm | proper signature constraints; | changeset | files |
| Mon, 25 May 2009 12:29:29 +0200 | wenzelm | adapted to Poly/ML SVN 744; | changeset | files |