| Thu, 14 Apr 2016 17:03:55 +0200 | wenzelm | more silence; | changeset | files |
| Thu, 14 Apr 2016 16:59:47 +0200 | wenzelm | avoid misleading Simplifier trace in quickcheck, notably in auto quickcheck; | changeset | files |
| Thu, 14 Apr 2016 16:02:22 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 14 Apr 2016 15:56:30 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 14 Apr 2016 15:48:28 +0200 | wenzelm | clarified context; | changeset | files |
| Thu, 14 Apr 2016 15:33:51 +0200 | wenzelm | misc tuning and standardization; | changeset | files |
| Thu, 14 Apr 2016 15:33:23 +0200 | wenzelm | tuned headers; | changeset | files |