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: Eli Zaretskii
Subject: Re: Have you all gone crazy? Was: On being web-friendly and why info must die
Date: Thu, 18 Dec 2014 05:45:37 +0200 
> From: Stefan Monnier <address@hidden>
> Date: Wed, 17 Dec 2014 17:14:05 -0500
> Cc: Sven Axelsson <address@hidden>, emacs <address@hidden>
> 
> > 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.

Don't worry: I made sure this is unprovable.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]