From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!not-for-mail
From: Eli Zaretskii <eliz@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: Release plans
Date: Tue, 12 Aug 2008 21:55:08 +0300
Message-ID: <ud4kegj1v.fsf@gnu.org>
References: <3807885.711421218566477860.JavaMail.www@wwinf4623>
Reply-To: Eli Zaretskii <eliz@gnu.org>
NNTP-Posting-Host: lo.gmane.org
X-Trace: ger.gmane.org 1218567572 12493 80.91.229.12 (12 Aug 2008 18:59:32 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Tue, 12 Aug 2008 18:59:32 +0000 (UTC)
Cc: emacs-devel@gnu.org
To: alinsoar@voila.fr
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Aug 12 21:00:23 2008
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
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 1KSz69-0004uW-Mo
	for ged-emacs-devel@m.gmane.org; Tue, 12 Aug 2008 21:00:01 +0200
Original-Received: from localhost ([127.0.0.1]:41557 helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43)
	id 1KSz5D-0003eO-NW
	for ged-emacs-devel@m.gmane.org; Tue, 12 Aug 2008 14:59:03 -0400
Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1KSz1T-0007od-TG
	for emacs-devel@gnu.org; Tue, 12 Aug 2008 14:55:11 -0400
Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1KSz1S-0007mv-QZ
	for emacs-devel@gnu.org; Tue, 12 Aug 2008 14:55:11 -0400
Original-Received: from [199.232.76.173] (port=49277 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1KSz1S-0007mW-L6
	for emacs-devel@gnu.org; Tue, 12 Aug 2008 14:55:10 -0400
Original-Received: from mtaout3.012.net.il ([84.95.2.7]:29028)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <eliz@gnu.org>) id 1KSz1S-0004sP-4b
	for emacs-devel@gnu.org; Tue, 12 Aug 2008 14:55:10 -0400
Original-Received: from HOME-C4E4A596F7 ([84.229.211.50]) by i_mtaout3.012.net.il
	(HyperSendmail v2004.12) with ESMTPA id
	<0K5I00JVO4KHJHA1@i_mtaout3.012.net.il> for emacs-devel@gnu.org;
	Tue, 12 Aug 2008 21:55:30 +0300 (IDT)
In-reply-to: <3807885.711421218566477860.JavaMail.www@wwinf4623>
X-012-Sender: halo1@inter.net.il
X-detected-kernel: by monty-python.gnu.org: Solaris 9.1
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <http://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/pipermail/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <http://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=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:102367
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/102367>

> From: A Soare <alinsoar@voila.fr>
> Cc: "Emacs   Dev  [emacs-devel]" <emacs-devel@gnu.org>
> Date: Tue, 12 Aug 2008 20:41:17 +0200 (CEST)
> 
> > > From: A Soare <alinsoar@voila.fr>
> > > Date: Tue, 12 Aug 2008 15:37:22 +0200 (CEST)
> > > Cc: "Emacs   Dev  \[emacs-devel\]" <emacs-devel@gnu.org>
> > > 
> > > > Yes, I understood that this is what you meant. But in what way did you 
> > > > reach this conclusion?
> > > 
> > > By induction.
> > 
> > "Induction" as in "1 is a prime number, 2 is a prime number, 3 is a
> > prime number; so by induction, every number is prime."
> > 
> 
> 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

Because your n is too small, obviously.