From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= Newsgroups: gmane.emacs.devel Subject: Re: Beyond release Date: Mon, 27 Jun 2016 10:18:53 -0400 Message-ID: <577135CD.1040605@gmail.com> References: <5254d43b-39dd-7ac2-03d7-349e6d710a6b@online.de> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="tE0MB18j5g2RKnQsNWedDX8kM1M7S5Rgb" X-Trace: ger.gmane.org 1467037196 30582 80.91.229.3 (27 Jun 2016 14:19:56 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 27 Jun 2016 14:19:56 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Jun 27 16:19:49 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 1bHXO7-0005VK-Q7 for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 16:19:47 +0200 Original-Received: from localhost ([::1]:58977 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHXO7-0000zW-10 for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 10:19:47 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:55031) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHXNO-0000yQ-Oe for emacs-devel@gnu.org; Mon, 27 Jun 2016 10:19:08 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bHXNJ-0001ij-OM for emacs-devel@gnu.org; Mon, 27 Jun 2016 10:19:02 -0400 Original-Received: from mout.kundenserver.de ([217.72.192.75]:65192) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHXNJ-0001iX-DR for emacs-devel@gnu.org; Mon, 27 Jun 2016 10:18:57 -0400 Original-Received: from [18.189.1.110] ([18.189.1.110]) by mrelayeu.kundenserver.de (mreue101) with ESMTPSA (Nemesis) id 0MUEtu-1arj253tEw-00R2AP for ; Mon, 27 Jun 2016 16:18:56 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 In-Reply-To: <5254d43b-39dd-7ac2-03d7-349e6d710a6b@online.de> X-Provags-ID: V03:K0:QFrW0el3QpusKQz4FpCCa3+tHG+96jsiPdjvBmJ0Ousuqqq2U0C S3rcmr0t6mZZ3A4KDyR4UoBydlekdrmWBCiCe9kLdJrKuUNBCdqEbkx33DcCNEhtKJKU/fF MJkp3X73Nk9Mcc6hUh6qF+D5JxNVmGIe8YAbtapnAvMqClSN8hI34SP2ydrSSPawtqgf7mU GcKMxblIXabunbElaDPtQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:K8zOvvcie4c=:0GcjF17JKCdMk7oTbBCpeD AT51zErSg6krHtF0VvRC+fiYCPGBaI/ux3soYw8FpxLGbuR0wyhpJL5TPugCiAd826/PdmvBr zVyhj9NnDQz0Z36CzneuO0soaXGPuG3kyA9niq6oYgmwUuFik+LIQ1lRY/p0bou9f8P/iP8L3 8fv5N4RIwt1org4c0ImBbv9ExefHX3lrOobknyPVQXSI4kSr/FHvGVWVhNiBmSoTjXnaTeIC1 xuO4c0xr/hcWlg3IwHYIOXXcHA6vQR85qXHUcR0ulUyzoAQMMNAtVb8L6vegnpRHBbVtSghr2 nbSQCKvBpMh5wm8GCyq6W5/sUfmNposPEzpqXlqHe0TcKQxGoqdUbZQFoHTFy37uSQ1/a7rHz 0eSPqEgLexM+6kNXOiMsWMBequ+Z7zUl/t7kU7MStOPpWjNCesOy9tq6v1j8MVg/ppAQiOR5F oQ/oR5YP+aY5WlwImzYekttZGblAI/Db23VkYuAPO6TsM00cYfmgp/37YbEcrUN+idvS5swzs NMxVxdHibdigIX/d5wsElujpFBfi4Kq8IcHdQ0UY+5y++SHhVLMu/TNUEiBOTdfGsUBPzluT9 CU2f1mfPBMPvgrx035HPxQx6kAgWQQi7en7ieWDjRARN31UTT0C7o4fq3Qki1+LS+mgY2ajfC P2cyoDvjFdT4Fz9duAQ42BX/DQQs32pqUnT5n+vTUpGhTlktkvO/Bo8Xk0cFn9Dq321s= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 217.72.192.75 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:204805 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --tE0MB18j5g2RKnQsNWedDX8kM1M7S5Rgb Content-Type: multipart/mixed; boundary="kk5w5Si7kdXkGAvgiw3Pd6k23xTBtSib3" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: emacs-devel@gnu.org Message-ID: <577135CD.1040605@gmail.com> Subject: Re: Beyond release References: <5254d43b-39dd-7ac2-03d7-349e6d710a6b@online.de> In-Reply-To: <5254d43b-39dd-7ac2-03d7-349e6d710a6b@online.de> --kk5w5Si7kdXkGAvgiw3Pd6k23xTBtSib3 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2016-06-27 05:58, Andreas R=C3=B6hler 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 Makariu= s made on the Proof General mailing list). AFAICT, Isabelle moved to jEdit because that's what the authors liked pro= gramming in, and because they didn't particularly care about Emacs suppor= t =E2=80=94 which did cause some frustration in the Isabelle community, b= tw. What elements make you think Emacs policies had anything to do with it? Cl=C3=A9ment. --kk5w5Si7kdXkGAvgiw3Pd6k23xTBtSib3-- --tE0MB18j5g2RKnQsNWedDX8kM1M7S5Rgb Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (GNU/Linux) iQIcBAEBAgAGBQJXcTXNAAoJEPqg+cTm90wjzl0P+gP42ffpUBDc0HL9wCw4y/Fo ZqoZmZk5SwLAgqsB5Tco7k8HA0Eyyh2GX3QEWlaudkfNTwUVws9IPpkUx2V/xBUG LYGUETOyMOxT4Ljt6baSfmwq1N2YrxKVy/SQfbScANEcAeYj8c6N2AQCvQBICBjk pxFFHOlRpD9QB6EIMBLX1NhsWkyuPg+O2MJsCs3b69rkP8eFRahKfoTom9aJEPdr cM4SwIO8rDh0B7GwFWJNlgBNUuX+m/wfA5eprUSZ6kCdwEETwcWj1REQnGeRSIxP e56ir/RSb2Rs2UstRwSUxoRBeCY84/gnNYX4CmGNGsGcaaG4hpLUgaV2J7A4YBeM 3mRlnAccJlZsSSqQfbicyJ9OKDQVDbJsW4vT65wv11qe/xCCt+SRsy4i3sBx9nbI NooM8KtfXQEyUwKCa2mk9q917v4bvDsgXnIPQ7yCbH5FoZhyM8rGQqu37ZUMFK8o 8GxBhcaykAnlryhMozklTeea0rgj24sHzbBBkKYYFVtRWVSxinI7RFVDN86ZLSt6 ix8klCg9INYo/Xjrj7HxFKS3hc8tcXNizhG6F2DgurmMSN5u4CxHD7UcfUrAza/D fFK64RWIMEUIq1+43AbfWVQFwL8vjpmHaaT4mBbUsA+Hq5GwmmGu/APwM2/p4WAB iYtI3Nais7uI5XLXBt9U =PuPd -----END PGP SIGNATURE----- --tE0MB18j5g2RKnQsNWedDX8kM1M7S5Rgb--