| Sun, 10 Nov 2024 12:56:38 +0100 | wenzelm | clarified signature and data storage: incremental lazy values; | file | diff | annotate |
| Sun, 10 Nov 2024 12:33:20 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Sun, 10 Nov 2024 12:29:32 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 10 Nov 2024 12:23:41 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 10 Nov 2024 12:15:31 +0100 | wenzelm | clarified margin operations (again, reverting 4794576828df); | file | diff | annotate |
| Sun, 10 Nov 2024 11:55:36 +0100 | wenzelm | clarified modules; | file | diff | annotate |