From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: =?utf-8?Q?=C3=93scar_Fuentes?= Newsgroups: gmane.emacs.devel Subject: Re: Have you all gone crazy? Was: On being web-friendly and why info must die Date: Wed, 17 Dec 2014 23:43:50 +0100 Message-ID: <874mstx5g9.fsf@wanadoo.es> References: <87y4q69m4a.fsf@fencepost.gnu.org> <87mw6m9dt7.fsf@fencepost.gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1418856283 325 80.91.229.3 (17 Dec 2014 22:44:43 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 17 Dec 2014 22:44:43 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Dec 17 23:44:33 2014 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Y1NKW-0002IZ-Va for ged-emacs-devel@m.gmane.org; Wed, 17 Dec 2014 23:44:29 +0100 Original-Received: from localhost ([::1]:51837 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y1NKW-0001zi-Am for ged-emacs-devel@m.gmane.org; Wed, 17 Dec 2014 17:44:28 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59084) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y1NKE-0001zL-Bv for emacs-devel@gnu.org; Wed, 17 Dec 2014 17:44:16 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Y1NK8-0002T2-F5 for emacs-devel@gnu.org; Wed, 17 Dec 2014 17:44:10 -0500 Original-Received: from plane.gmane.org ([80.91.229.3]:56543) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y1NK8-0002Ss-83 for emacs-devel@gnu.org; Wed, 17 Dec 2014 17:44:04 -0500 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1Y1NK6-0002A5-S0 for emacs-devel@gnu.org; Wed, 17 Dec 2014 23:44:02 +0100 Original-Received: from 129.red-88-10-128.dynamicip.rima-tde.net ([88.10.128.129]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 17 Dec 2014 23:44:02 +0100 Original-Received: from ofv by 129.red-88-10-128.dynamicip.rima-tde.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 17 Dec 2014 23:44:02 +0100 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 9 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 129.red-88-10-128.dynamicip.rima-tde.net User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) Cancel-Lock: sha1:QR46gASoSvhAW+Up7c+zSynn+qw= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 80.91.229.3 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:180260 Archived-At: Stefan Monnier writes: > 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, You are away from your proof assistant, aren't you?