| 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 |
| Thu, 02 Jul 2009 16:00:28 +0200 | haftmann | updated generated files | changeset | files |
| Thu, 02 Jul 2009 16:00:27 +0200 | haftmann | more friendly wrt. PGs interpretation of compound *); added dedicated section on value and quickcheck | changeset | files |
| Thu, 02 Jul 2009 14:43:06 +0100 | paulson | merged | changeset | files |