| Mon, 04 Nov 2024 21:54:34 +0100 | wenzelm | support value-oriented Font_Metric, e.g. for caching Pretty output; | changeset | files |
| Mon, 04 Nov 2024 21:25:26 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 04 Nov 2024 21:05:11 +0100 | wenzelm | unused; | changeset | files |
| Mon, 04 Nov 2024 21:05:05 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 04 Nov 2024 21:00:31 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 04 Nov 2024 20:55:01 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 04 Nov 2024 14:50:21 +0100 | wenzelm | more accurate Symbol.Metric, following 6eccae338770; | changeset | files |