| Sun, 10 Aug 2025 21:44:42 +0200 | wenzelm | prefer system options, which are easier to change on the spot; | file | diff | annotate |
| Sun, 10 Aug 2025 21:09:45 +0200 | wenzelm | prefer compact theory + ML module; | 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 |