emacs-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Have you all gone crazy? Was: On being web-friendly and why info mus


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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]