| Thu, 30 Nov 2023 20:11:34 +0100 | wenzelm | reduce redundancy: avoid huge lists; | file | diff | annotate |
| Thu, 30 Nov 2023 16:33:00 +0100 | wenzelm | more detailed profiling including "names"; | file | diff | annotate |
| 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 16:11:16 +0200 | wenzelm | proper base_thys; | 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 |