| Sun, 27 Oct 2024 12:54:58 +0100 | wenzelm | tuned whitespace of sources; | changeset | files |
| Sun, 27 Oct 2024 12:47:27 +0100 | wenzelm | update documentation; | changeset | files |
| Sun, 27 Oct 2024 12:32:40 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 27 Oct 2024 12:23:48 +0100 | wenzelm | update documentation: print mode "latex" only affects syntax tables, but output of symbols; | changeset | files |
| Sun, 27 Oct 2024 12:13:34 +0100 | wenzelm | misc tuning and clarification; | changeset | files |
| Sun, 27 Oct 2024 11:48:32 +0100 | wenzelm | clarified section structure; | changeset | files |
| Sun, 27 Oct 2024 11:46:04 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 27 Oct 2024 11:34:51 +0100 | wenzelm | tuned; | changeset | files |