| Thu, 02 Jul 2009 22:18:02 +0200 | wenzelm | merged | changeset | files |
| Thu, 02 Jul 2009 21:24:32 +0200 | wenzelm | recovered subscripts, which were lost in b41d61c768e2 (due to Emacs accident?); | changeset | files |
| Thu, 02 Jul 2009 18:32:28 +0200 | haftmann | merged | changeset | files |
| Thu, 02 Jul 2009 16:06:12 +0200 | haftmann | instance arities can be simultaneous | changeset | files |