| Thu, 31 Oct 2024 14:58:53 +0100 | Fabian Huch | less hidden configuration; | changeset | files |
| Thu, 31 Oct 2024 14:56:59 +0100 | Fabian Huch | proper passwordless smtp check: must be null; | changeset | files |
| Thu, 31 Oct 2024 09:24:10 +0100 | blanchet | adjusted documentation | changeset | files |
| Tue, 29 Oct 2024 10:26:06 +0100 | nipkow | more attribute tuning | changeset | files |
| Tue, 29 Oct 2024 07:41:52 +0100 | nipkow | tuned attributes | changeset | files |
| Mon, 28 Oct 2024 18:48:28 +0100 | nipkow | merged | changeset | files |
| Mon, 28 Oct 2024 18:48:14 +0100 | nipkow | added lemmas | changeset | files |
| Sun, 27 Oct 2024 22:35:02 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sun, 27 Oct 2024 20:11:08 +0100 | wenzelm | tuned NEWS; | changeset | files |
| Sun, 27 Oct 2024 19:57:29 +0100 | wenzelm | markup for "..." notation; | changeset | files |
| Sun, 27 Oct 2024 15:30:00 +0100 | wenzelm | more robust: avoid non-authentic translations; | changeset | files |
| 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 |
| Sun, 27 Oct 2024 11:31:42 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 27 Oct 2024 11:22:34 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 27 Oct 2024 11:13:42 +0100 | wenzelm | clarified symbolic output: avoid redundant "block" element for open_block = true; | changeset | files |
| Sun, 27 Oct 2024 11:02:21 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 26 Oct 2024 20:18:51 +0200 | wenzelm | clarified (again): Markup.intensify is already part of Variable.markup_fixed for undeclared variable, Markup.fixed is already part of Mariable.markup; | changeset | files |