|
| From: | Stefan Monnier |
| Subject: | Re: Have you all gone crazy? Was: On being web-friendly and why info must die |
| Date: | Wed, 17 Dec 2014 17:14:05 -0500 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
> Just what I needed. An Emacs that will formally prove to me that
> redisplay has finished.
Better yet: a machine-checked proof that the redisplay will
always terminate.
Finally, an end to all those "I waited a year and redisplay still isn't
done" bug reports,
Stefan
| [Prev in Thread] | Current Thread | [Next in Thread] |