| Wed, 14 Oct 2009 21:14:53 +0200 | nipkow | added List.nth | changeset | files |
| Wed, 14 Oct 2009 16:45:26 +0200 | wenzelm | tuned make parameters for sunbroy2; | changeset | files |
| Wed, 14 Oct 2009 16:39:35 +0200 | wenzelm | accomodate old version of "tail", e.g. on sunbroy2; | changeset | files |
| Wed, 14 Oct 2009 16:08:51 +0200 | wenzelm | settings for parallel experimental Poly/ML 5.3; | changeset | files |
| Wed, 14 Oct 2009 13:56:56 +0200 | haftmann | sharpened name | changeset | files |
| Wed, 14 Oct 2009 12:20:01 +0200 | haftmann | more explicit notion of canonized code equations | changeset | files |
| Wed, 14 Oct 2009 12:19:17 +0200 | haftmann | more explicit notion of canonized code equations | changeset | files |
| Wed, 14 Oct 2009 12:04:16 +0200 | haftmann | tuned whitespace | changeset | files |