| Mon, 30 Dec 2024 19:49:50 +0100 | wenzelm | tuned names; | changeset | files |
| Mon, 30 Dec 2024 14:39:33 +0100 | wenzelm | more accurate formatting of open_block: markup only, without affecting layout (e.g. via force_next); | changeset | files |
| Sun, 29 Dec 2024 15:58:47 +0100 | wenzelm | tuned: more uniform; | changeset | files |
| Sun, 29 Dec 2024 15:49:11 +0100 | wenzelm | proper treatment of XML.Wrapped_Elem as open_block (amending 7cacedbddba7, but this case is presently unused); | changeset | files |
| Sun, 29 Dec 2024 15:39:01 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 29 Dec 2024 15:34:28 +0100 | wenzelm | unused; | changeset | files |
| Sun, 29 Dec 2024 15:15:06 +0100 | wenzelm | tuned signature; | changeset | files |