| 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 |
| Sat, 05 Jul 2014 16:04:23 +0200 | haftmann | refrain from auxiliary abbreviation: be more explicit to the reader in situations where syntax translation does not apply; | changeset | files |