From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Sven Axelsson Newsgroups: gmane.emacs.devel Subject: Re: Have you all gone crazy? Was: On being web-friendly and why info must die Date: Thu, 18 Dec 2014 08:40:52 +0100 Message-ID: References: <87y4q69m4a.fsf@fencepost.gnu.org> <87mw6m9dt7.fsf@fencepost.gnu.org> <83k31pvcwu.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1418888483 5335 80.91.229.3 (18 Dec 2014 07:41:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 18 Dec 2014 07:41:23 +0000 (UTC) Cc: David Kastrup , Stefan Monnier , emacs To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Dec 18 08:41:12 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 1Y1Vhv-0001SL-FK for ged-emacs-devel@m.gmane.org; Thu, 18 Dec 2014 08:41:11 +0100 Original-Received: from localhost ([::1]:52779 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y1Vhu-0006KR-J3 for ged-emacs-devel@m.gmane.org; Thu, 18 Dec 2014 02:41:10 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:60611) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y1Vhg-0006KK-Be for emacs-devel@gnu.org; Thu, 18 Dec 2014 02:40:57 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Y1Vhf-00033d-Fw for emacs-devel@gnu.org; Thu, 18 Dec 2014 02:40:56 -0500 Original-Received: from mail-lb0-x22a.google.com ([2a00:1450:4010:c04::22a]:52414) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y1Vhd-00032K-39; Thu, 18 Dec 2014 02:40:53 -0500 Original-Received: by mail-lb0-f170.google.com with SMTP id 10so507851lbg.15; Wed, 17 Dec 2014 23:40:52 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=S2v1xZqnAkIGNTT9HPIvt5MtErtuGCfCqJ1zfrGfblM=; b=orAHSCzR+Sv5pd1SYqtl5z/VSO/M1uZdDQQQcMAm3Tyzp4jnbJ9HskaVBr0JJFUjGs L5Gv9e6umIy0FcNXuUUaq3bA7GPZj6aQoJBZMibsBPsadedbyUP1yFBqZRWPvHfBl+qU BibLcOfRonMqaD6J/5YrZAbC7WB2wCR063H7HYtlInNv7gF3CLN56jUgzRD7kN+wu0Ge z5ZH7JdnGhJfcR0dfPDu7AwPcvhneRTUMgaEHaPiRv6FTYVXeoaS+zs2ZFE3WPUMeSmQ VqSs1gqY29wC8z2Lj3Lj8HTxqzDzyUJyt5yXBPm8KmpofjgrhXEAblmTomyOc2BHswFy SfjQ== X-Received: by 10.112.95.133 with SMTP id dk5mr666054lbb.55.1418888452181; Wed, 17 Dec 2014 23:40:52 -0800 (PST) Original-Received: by 10.25.17.157 with HTTP; Wed, 17 Dec 2014 23:40:52 -0800 (PST) In-Reply-To: <83k31pvcwu.fsf@gnu.org> X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2a00:1450:4010:c04::22a 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:180266 Archived-At: Excellent responses, everybody! Just what I hoped for with this thread. I have of course seen the arguments for changing the tool chain. As for increased web presence, David Kastrup has shown what can already be done with texinfo, and I have noticed several of you being active on the texinfo bug list to raise the speed problem. I also agree with Stefan that Agda would be an awesome choice for an Emacs rewrite. The developer community is huge :) -- Sven Axelsson ++++++++++[>++++++++++>+++++++++++>++++++++++>++++++ >++++<<<<<-]>++++.+.++++.>+++++.>+.<<-.>>+.>++++.<<. +++.>-.<<++.>>----.<++.>>>++++++.<<<<.>>++++.<----.