| Fri, 24 Jun 2016 18:36:14 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
| Thu, 23 Jun 2016 23:10:19 +0200 | wenzelm | merged | changeset | files |
| Thu, 23 Jun 2016 23:08:37 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
| Thu, 23 Jun 2016 11:01:14 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 23 Jun 2016 16:46:36 +0200 | haftmann | avoid overlapping equations for gcd, lcm on integers | changeset | files |
| Thu, 23 Jun 2016 16:46:36 +0200 | haftmann | compiling implicit instances into companion objects for classes avoids ambiguities | changeset | files |
| Wed, 22 Jun 2016 19:01:26 +0200 | Lars Hupel | print statistics; tuned | changeset | files |