| Sat, 05 Jul 2014 13:39:53 +0200 | wenzelm | modernized definitions; | changeset | files |
| Sat, 05 Jul 2014 13:21:53 +0200 | wenzelm | proper plain_args to ensure that multi-argument overloading cannot escape pattern restriction (despite more liberal structural containment before 3ae3cc4b1eac); | changeset | files |
| Sat, 05 Jul 2014 16:07:23 +0200 | haftmann | CONTRIBUTORS | changeset | files |