Sun, 16 Jun 2019 16:40:57 +0000 | haftmann | even more appropriate fact name | changeset | files |
Sun, 16 Jun 2019 16:40:57 +0000 | haftmann | more correct indicator | changeset | files |
Fri, 14 Jun 2019 12:29:50 +0200 | haftmann | make latex happy | changeset | files |