| Wed, 27 Mar 2024 15:01:38 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 27 Mar 2024 14:40:02 +0100 | wenzelm | more robust Markdown; | file | diff | annotate |
| Wed, 27 Mar 2024 14:37:52 +0100 | wenzelm | misc tuning; | file | diff | annotate |
| Mon, 25 Mar 2024 20:05:40 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 25 Mar 2024 19:56:12 +0100 | wenzelm | misc updates, tuning and clarification; | file | diff | annotate |
| Mon, 25 Mar 2024 17:46:16 +0100 | wenzelm | reformat source in jEdit (wrap margin 78); | file | diff | annotate |
| Mon, 25 Mar 2024 17:43:28 +0100 | wenzelm | more accurate Markdown formatting, both for VSCode and Phabricator; | file | diff | annotate |
| Mon, 25 Mar 2024 17:10:19 +0100 | wenzelm | just one README.md; | file | diff | annotate | base |