| Mon, 25 Mar 2024 19:56:12 +0100 | wenzelm | misc updates, tuning and clarification; | changeset | files |
| Mon, 25 Mar 2024 17:46:16 +0100 | wenzelm | reformat source in jEdit (wrap margin 78); | changeset | files |
| Mon, 25 Mar 2024 17:43:28 +0100 | wenzelm | more accurate Markdown formatting, both for VSCode and Phabricator; | changeset | files |
| Mon, 25 Mar 2024 17:10:19 +0100 | wenzelm | just one README.md; | changeset | files |
| Mon, 25 Mar 2024 17:55:02 +0100 | nipkow | tuned | changeset | files |
| Mon, 25 Mar 2024 15:11:48 +0100 | wenzelm | merged | changeset | files |
| Mon, 25 Mar 2024 15:11:21 +0100 | wenzelm | more accurate platform directories: pkg/tool structure is hardwired in "go"; | changeset | files |