| Sat, 28 Sep 2019 12:38:34 +0200 | wenzelm | tuned messages (again) -- avoid confusion wrt. total remaining size; | changeset | files |
| Thu, 26 Sep 2019 21:22:58 +0200 | nipkow | added lemma | changeset | files |
| Thu, 26 Sep 2019 15:25:51 +0200 | wenzelm | more Phabricator configuration; | changeset | files |