Sun, 21 Aug 2022 06:18:23 +0000 | haftmann | simplified computation algorithm construction | changeset | files |
Sat, 20 Aug 2022 21:34:55 +0200 | wenzelm | merged; | changeset | files |
Sat, 20 Aug 2022 21:33:51 +0200 | wenzelm | more robust GUI initialization (amending 29441f2bfe81); | changeset | files |