From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Lennart Borgman (gmail)" Newsgroups: gmane.emacs.devel Subject: Re: Release plans Date: Tue, 12 Aug 2008 20:58:46 +0200 Message-ID: <48A1DD66.5080205@gmail.com> References: <17064320.715521218567257980.JavaMail.www@wwinf4623> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1218567710 13243 80.91.229.12 (12 Aug 2008 19:01:50 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 12 Aug 2008 19:01:50 +0000 (UTC) Cc: "Emacs Dev \[emacs-devel\]" To: alinsoar@voila.fr Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Aug 12 21:02:41 2008 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1KSz8A-0005of-7s for ged-emacs-devel@m.gmane.org; Tue, 12 Aug 2008 21:02:06 +0200 Original-Received: from localhost ([127.0.0.1]:42548 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1KSz7E-0005eQ-8A for ged-emacs-devel@m.gmane.org; Tue, 12 Aug 2008 15:01:08 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1KSz54-0003WW-1u for emacs-devel@gnu.org; Tue, 12 Aug 2008 14:58:54 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1KSz53-0003VG-2i for emacs-devel@gnu.org; Tue, 12 Aug 2008 14:58:53 -0400 Original-Received: from [199.232.76.173] (port=49384 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1KSz52-0003UP-Uz for emacs-devel@gnu.org; Tue, 12 Aug 2008 14:58:52 -0400 Original-Received: from ch-smtp01.sth.basefarm.net ([80.76.149.212]:42136) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1KSz51-00061F-Vv for emacs-devel@gnu.org; Tue, 12 Aug 2008 14:58:52 -0400 Original-Received: from c83-254-151-176.bredband.comhem.se ([83.254.151.176]:60479 helo=[127.0.0.1]) by ch-smtp01.sth.basefarm.net with esmtp (Exim 4.68) (envelope-from ) id 1KSz4z-0001sv-4y; Tue, 12 Aug 2008 20:58:49 +0200 User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.9) Gecko/20071031 Thunderbird/2.0.0.9 Mnenhy/0.7.5.666 In-Reply-To: <17064320.715521218567257980.JavaMail.www@wwinf4623> X-Antivirus: avast! (VPS 080812-0, 2008-08-12), Outbound message X-Antivirus-Status: Clean X-Originating-IP: 83.254.151.176 X-ACL-Warn: Too high rate of unknown addresses received from you X-Scan-Result: No virus found in message 1KSz4z-0001sv-4y. X-Scan-Signature: ch-smtp01.sth.basefarm.net 1KSz4z-0001sv-4y 2dffa023cf73f82154c538307272cb71 X-detected-kernel: by monty-python.gnu.org: Linux 2.6? (barebone, rare!) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:102369 Archived-At: A Soare wrote: >>> In my case the initial hypothesis is true; the general case is false: >>> >>> 1. initial: X1 X2 ... Xn do not use Emacs >>> >>> 2. general: nobody uses Emacs >> >> Is not that extrapolation rather than induction? ;-) > > Maybe, I do not know. Induction is surely. Maybe this is not the place for math education, but you are missing one piece to make it induction: - There should be something that asserts that the condition holds also for next step. It might happen even to you that you meat a person who uses Emacs on windows ...