| Tue, 25 Jul 2023 12:27:31 +0200 | wenzelm | clarified statistics; | file | diff | annotate |
| Mon, 24 Jul 2023 21:05:11 +0200 | wenzelm | more statistics; | file | diff | annotate |
| Mon, 24 Jul 2023 15:05:56 +0200 | wenzelm | more thorough context tracing; | file | diff | annotate |
| Thu, 20 Jul 2023 12:10:54 +0200 | wenzelm | update headers; | file | diff | annotate |
| Thu, 13 Jul 2023 13:51:08 +0200 | wenzelm | tuned output; | file | diff | annotate |
| Thu, 13 Jul 2023 13:10:40 +0200 | wenzelm | tuned output; | file | diff | annotate |
| 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 |