| Tue, 31 Dec 2024 15:29:29 +0100 | wenzelm | more accurate indentation: retain (before: Double) until it is materialized as blanks; | changeset | files |
| Tue, 31 Dec 2024 15:09:36 +0100 | wenzelm | misc tuning: more uniform; | changeset | files |
| Mon, 30 Dec 2024 21:36:58 +0100 | wenzelm | clarified internal data representation, following push/pop model of Scala version; | changeset | files |
| 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 |