| Tue, 05 Jul 2016 13:05:04 +0200 | fleury | instantiate multiset with multiset ordering | changeset | files |
| Tue, 05 Jul 2016 10:26:23 +0200 | Lars Hupel | more accurate total timing | changeset | files |
| Tue, 05 Jul 2016 09:50:20 +0200 | Lars Hupel | merged | changeset | files |
| Mon, 04 Jul 2016 18:20:51 +0200 | Lars Hupel | tuned | changeset | files |
| Mon, 04 Jul 2016 20:51:04 +0200 | wenzelm | merged | changeset | files |
| Mon, 04 Jul 2016 20:48:55 +0200 | wenzelm | NEWS; | changeset | files |
| Mon, 04 Jul 2016 20:33:47 +0200 | wenzelm | clarified positions, e.g. for reports on literal facts; | changeset | files |
| Mon, 04 Jul 2016 20:01:57 +0200 | wenzelm | tuned whitespace; | changeset | files |