56 Commits (9d58141cdc995518eed0352b0aa7a1d488a1cc05)

Author SHA1 Message Date
unknown 87aa4ae2d3 just comment changes and line formatting changes. 20 years ago
unknown e6efa27c0b Writing down MikaelR's comments made in May in Helsinki so that they are not forgotten. Minor fixes. 20 years ago
unknown 30e5a9bd1b Post-vacation-musing fixes to WL#3071 "Maria checkpoint": 20 years ago
unknown 06f7675b95 Maria: first version of checkpoint (WL#3071), least-recently-dirtied page flushing (WL#3261), recovery (WL#3072), 20 years ago