| Mon, 04 Nov 2024 14:10:21 +0100 | wenzelm | proper parentheses, for the sake of IntelliJ IDEA; | changeset | files |
| Mon, 04 Nov 2024 12:58:05 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 04 Nov 2024 12:22:24 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 04 Nov 2024 11:21:19 +0100 | wenzelm | tuned proofs; | changeset | files |
| Mon, 04 Nov 2024 11:21:04 +0100 | wenzelm | tuned GUI (again, see 0521e65af41e); | changeset | files |
| Sun, 03 Nov 2024 22:29:07 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sun, 03 Nov 2024 21:12:50 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 03 Nov 2024 21:04:12 +0100 | wenzelm | tuned comments; | changeset | files |