| Mon, 03 Jun 2024 19:43:21 +0200 | wenzelm | removed unused/inefficient size_of_proof (see also 2241191a3c54); | changeset | files |
| Sun, 02 Jun 2024 14:11:09 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 02 Jun 2024 13:36:24 +0200 | wenzelm | more robust: avoid crash of sleep() for negative time; | changeset | files |
| Sat, 01 Jun 2024 21:52:31 +0200 | wenzelm | clarified signature; | changeset | files |