| Sun, 06 Oct 2024 21:54:53 +0200 | wenzelm | tuned comments: all times are < 1ms; | changeset | files |
| Sun, 06 Oct 2024 18:34:35 +0200 | wenzelm | support for pretty blocks that are "open" and thus have no impact on formatting, only on markup; | changeset | files |
| Sun, 06 Oct 2024 13:02:33 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 05 Oct 2024 22:46:21 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 05 Oct 2024 22:24:24 +0200 | wenzelm | more inner-syntax markup; | changeset | files |
| Sat, 05 Oct 2024 15:18:49 +0200 | wenzelm | ML antiquotation for formally-checked bundle names; | changeset | files |