|
| From: | Stefan Monnier |
| Subject: | Re: Tracking buffer positions across time, without markers (was Re: PL support) |
| Date: | Mon, 11 May 2020 11:25:45 -0400 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
>> It's not unusual for compilation cycles or checking to take up to a minute
> Minutes sounds ... bad. What takes minutes in these cases?
Basically: proof-search.
Stefan
| [Prev in Thread] | Current Thread | [Next in Thread] |