| 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 |
| Sat, 05 Jul 2014 12:04:25 +0200 | wenzelm | misc tuning for release; | changeset | files |
| Sat, 05 Jul 2014 11:19:37 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 05 Jul 2014 11:06:14 +0200 | haftmann | NEWS | changeset | files |