From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Andreas_R=c3=b6hler?= Newsgroups: gmane.emacs.devel Subject: Re: Beyond release Date: Mon, 27 Jun 2016 18:21:27 +0200 Message-ID: References: <5254d43b-39dd-7ac2-03d7-349e6d710a6b@online.de> <577135CD.1040605@gmail.com> <8a06c531-eac2-cfd5-eab0-6bf197e8c3e0@online.de> <57714BA1.8030506@gmail.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1467044234 18758 80.91.229.3 (27 Jun 2016 16:17:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 27 Jun 2016 16:17:14 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Jun 27 18:17:09 2016 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 1bHZDf-0005Qg-Fo for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 18:17:07 +0200 Original-Received: from localhost ([::1]:59800 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHZDe-0005JX-TY for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 12:17:06 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:39470) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHZDX-0005JP-Nm for emacs-devel@gnu.org; Mon, 27 Jun 2016 12:17:00 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bHZDU-0000FB-Gr for emacs-devel@gnu.org; Mon, 27 Jun 2016 12:16:59 -0400 Original-Received: from mout.kundenserver.de ([217.72.192.74]:61779) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHZDU-0000F2-6O for emacs-devel@gnu.org; Mon, 27 Jun 2016 12:16:56 -0400 Original-Received: from [192.168.178.35] ([77.12.118.111]) by mrelayeu.kundenserver.de (mreue104) with ESMTPSA (Nemesis) id 0MfIB0-1ayF6y3t6Y-00Oq5s for ; Mon, 27 Jun 2016 18:16:55 +0200 User-Agent: Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Icedove/45.1.0 In-Reply-To: <57714BA1.8030506@gmail.com> X-Provags-ID: V03:K0:82cTFS75Y9nAcG/La04IMUi/JObc+utbv9BpF+p+XTUD3/4BQ9B nlP+0ustZWswe3yvEHHvXKrxgoI36d90jkVQC/pDoHq6UyZQXB7GRNS9tOpIlM7Rx0vSedq TkpAffxkYA1DJS2nR+HWZ0i08sr2427wfate0+PAM++s/bXIgNp0XbqdkHeH2Sf5+sNs+tA KnCZslm6UlGMT7/6M679g== X-UI-Out-Filterresults: notjunk:1;V01:K0:0ezlB+jAtZA=:eIXbURTOsE6ybHVAosEugW fK93K2s23991CchfbevDy8bUltXORzFJlk7wdW/uQZ8A2uRkDSZsBwyZnzEg5VFv5uZ3kOx4T 0UZl8wW/R7bDLyblts8d3Hj6jq88aO5pNkZe2r4N525wpa5aDdGXWCdKEdj3Z17i46MSA3mp6 YEAt9ZCLCMLQoothveLKD/wP/dShQhXcGD0fw+tc5aXdx8uPyvgev/ghpXzlVBo0UGjp8ZwCg llRwZvfr6nZaAWasjS+y0pn24WuN7xBWLgdNBeMES2Vr7+Us/PrVnyYvxJPq2AqH+wFrlC3yl vsT3actY9nBBNQY70BXkOrSFwZYgHougqJlhrsA9uU+rtSUbh/wRFQFISq+YMKsoFwno7aH5+ xNzc8zGnkHKfBRoKWsE3XILEE5ZSyNmoYNJesJfcLKynSOxKfKUZNi4i3L3rEkCzhTsZ0SK38 RjNCJfXJQBRkfTh/kJi072jkOylVbl3kcuNV2DySfqNBlcUyjN8HymENKKQSkNEsW3RDaVA3P nrB90NupbyWpuRdmGcgG4jjxSLZNE57ybHIU42WcfJAW5I2lCPhO2WgE6kqXQbMgBoGLwJ4VJ Mb57sBNYo+vqNzRGUpXVcwx1ThdIjxp93aegxgqKBqdwY6sx5okqfI7+x02OfXN/rVrRcSB87 BEunfCYCIZ2hMmxDYlSmi2dqaDFOYevVS0fvl2FMYaJHMjqvgLVkHdaGRmOXg12V4RMwZa/8l FiCWzfsqntXLN6Pe X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 217.72.192.74 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 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" Xref: news.gmane.org gmane.emacs.devel:204816 Archived-At: On 27.06.2016 17:52, Clément Pit--Claudel wrote: > On 2016-06-27 11:33, Andreas Röhler wrote: >> On 27.06.2016 16:18, Clément Pit--Claudel wrote: >>> On 2016-06-27 05:58, Andreas Röhler wrote: >>>> To make clear, that's not just a personal view, please consider >>>> the withdraw of advanced and promising theorem prover >>>> Isabelle/HOL, which doesn't longer support Emacs, while relying >>>> on it before. BTW that withdraw was in time, before John took >>>> over and AFAIU caused by a policy, which hopefully is abandoned >>>> now. >>> I think that's an incorrect characterisation (see statements that >>> Makarius made on the Proof General mailing list). >> That's where my conclusions are from. Any precise spot to tell >> otherwise? > Yes: Makarius wrote: "While it is technically feasible to connect Proof General to Isabelle/Scala/PIDE in some imitation of the old TTY mode, I personally don't believe that there are serious adherents to Emacs still around to do that." In which way that would contradict my saying? BTW still believing Emacs is a suitable tool in logic programming.