|
| From: | Gerd Möllmann |
| Subject: | bug#58158: 29.0.50; [overlay] Interval tree iteration considered harmful |
| Date: | Mon, 03 Oct 2022 06:35:00 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (darwin) |
Andreas Politz <mail@andreas-politz.de> writes: > It seems to work, at least buffer-tests are passing. "seems to work" is a bit weak. Can we prove it? I don't mean mathematically, but by reasoning like I tried in the comments in successor function I posted,
| [Prev in Thread] | Current Thread | [Next in Thread] |