| Tue, 16 Apr 2019 19:50:07 +0000 | haftmann | tuned | changeset | files |
| Tue, 16 Apr 2019 19:50:05 +0000 | haftmann | prefer one theory for misc material | changeset | files |
| Tue, 16 Apr 2019 19:50:03 +0000 | haftmann | moved instance to appropriate place | changeset | files |
| Tue, 16 Apr 2019 20:00:14 +0200 | wenzelm | tuned for release; | changeset | files |