| Sun, 10 Nov 2024 13:40:28 +0100 | wenzelm | minor performance tuning: avoid concatenation of existing string material; | changeset | files |
| Sun, 10 Nov 2024 12:56:38 +0100 | wenzelm | clarified signature and data storage: incremental lazy values; | changeset | files |
| Sun, 10 Nov 2024 12:33:20 +0100 | wenzelm | tuned comments; | changeset | files |
| Sun, 10 Nov 2024 12:29:32 +0100 | wenzelm | clarified signature; | changeset | files |
| Sun, 10 Nov 2024 12:23:41 +0100 | wenzelm | clarified modules; | changeset | files |
| Sun, 10 Nov 2024 12:15:31 +0100 | wenzelm | clarified margin operations (again, reverting 4794576828df); | changeset | files |
| Sun, 10 Nov 2024 11:55:36 +0100 | wenzelm | clarified modules; | changeset | files |
| Sun, 10 Nov 2024 11:38:23 +0100 | wenzelm | more reactive interrupts (via Future.cancel); | changeset | files |