| Thu, 13 Jul 2023 13:04:15 +0200 | wenzelm | clarified session_statistics: removed somewhat pointless per-theory statistics; | file | diff | annotate |
| Wed, 12 Jul 2023 16:23:28 +0200 | wenzelm | proper system integration and renaming; | file | diff | annotate |
| Wed, 12 Jul 2023 15:20:01 +0200 | wenzelm | copy/rename files from private autocorres version e45b9b680d3e; | file | diff | annotate |