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 11:52:01 -0400 Message-ID: <57714BA1.8030506@gmail.com> References: <5254d43b-39dd-7ac2-03d7-349e6d710a6b@online.de> <577135CD.1040605@gmail.com> <8a06c531-eac2-cfd5-eab0-6bf197e8c3e0@online.de> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="wX5WeMDFQvhBpWrHXkALqqB6bdWdfcaKH" X-Trace: ger.gmane.org 1467042979 30337 80.91.229.3 (27 Jun 2016 15:56:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 27 Jun 2016 15:56:19 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Jun 27 17:56:07 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 1bHYtL-00023u-7N for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 17:56:07 +0200 Original-Received: from localhost ([::1]:59557 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHYtK-0007aa-J1 for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 11:56:06 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59436) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHYpV-0005cr-Mj for emacs-devel@gnu.org; Mon, 27 Jun 2016 11:52:10 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bHYpQ-0001e4-OB for emacs-devel@gnu.org; Mon, 27 Jun 2016 11:52:09 -0400 Original-Received: from mout.kundenserver.de ([212.227.126.134]:58038) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHYpQ-0001dv-De for emacs-devel@gnu.org; Mon, 27 Jun 2016 11:52:04 -0400 Original-Received: from [18.26.2.123] ([18.26.2.123]) by mrelayeu.kundenserver.de (mreue004) with ESMTPSA (Nemesis) id 0Lg4q7-1bgD8K1THn-00peQZ for ; Mon, 27 Jun 2016 17:52:03 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 In-Reply-To: <8a06c531-eac2-cfd5-eab0-6bf197e8c3e0@online.de> X-Provags-ID: V03:K0:llidB6zXl3gZMYH3aVPDrf5YfN6D+CRIhUfbyxQ6aTI32T+QQ5K gQBjaY+w7GiWdcnXwgoJ7Y2trfNpHSZeWsczcQlpvJkvp81LwvSKqnw0GxXj82uxlnHFVx3 hZRNiw8s04ZhD2gSFIVupsOclKxoBhZS/k6u8uc+2ZtcXHNqTpNT8jAs4XFbLwCPwYX82Wv xerGA9idX3FtrFDav20Pw== X-UI-Out-Filterresults: notjunk:1;V01:K0:OTJzn8Y5qns=:FBRJTDINbo+hvosLRlfSTg 0aZV30can5/2Tz0O/WMzHl2piUZT/6RRP+BlKnHm9MBaBfiYjpJ+87YRCZwxPaFvdTsApjA8d 3Vbos/LupTuFxp78y0n0vCGCV9i1HtyshBhbey+5fqM/YgNnemLL5/WSnh1Fed3gDVhFiKnDq nk9dzrMyVK4jKLQofJDtwkMcMWkiUYn0TtGUlY3ioWKW6LEJMrGCPZgjG42SNKtgXdL2Rx78R 2rvru0pbiEUlhfB2lhPFQ1sAAGxKdUPquUiqDDPEv/8cJCAQBITfnMS64nN/yE9aixCMxqYfK KAykW8Kt9Xem0VNx2YDhlzvOdpoDPD58hvp1G50CtV7UxskVxCyM0FD/0cL3MXM1FJQsQxuF/ ToQCD8oAYdYVEHyJctK4sY0pBJL3heqSg5qX2k5CXhLr9T1aJ5F5tyeuOoFbDAJ6RdrxFn5vs VUMFFutaUp7hE1ZX0xSEWV+cqNC5Hha4PbRhYKbYiriwSz72Xszksh3du8nFcyPThWH+uzEgg frXEKiI+Uy62ClH3z174UrZuasleZ0jkrEtPpKqzlwwfUWLTM2dhaWgJVnNhSvdGlR/MNbFFy oQFHDv62qM3PbhAAWyhhHL1Em5CIXOW97v0iw9VINR9WDTBYZoa26iPzGtnC0956b1IPZG0XV lAM6SkbmyPZN5vq7fXjtX83k3kPTOVOvLCHFzEL/bQ1P3Me4NDCvfBF6g5mFD8LA27UM= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.126.134 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:204811 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --wX5WeMDFQvhBpWrHXkALqqB6bdWdfcaKH Content-Type: multipart/mixed; boundary="G9CSJtB1gvhWEuTqwCuo8o3oA2N86b0am" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: emacs-devel@gnu.org Message-ID: <57714BA1.8030506@gmail.com> Subject: Re: Beyond release References: <5254d43b-39dd-7ac2-03d7-349e6d710a6b@online.de> <577135CD.1040605@gmail.com> <8a06c531-eac2-cfd5-eab0-6bf197e8c3e0@online.de> In-Reply-To: <8a06c531-eac2-cfd5-eab0-6bf197e8c3e0@online.de> --G9CSJtB1gvhWEuTqwCuo8o3oA2N86b0am Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2016-06-27 11:33, Andreas R=C3=B6hler wrote: > On 27.06.2016 16:18, Cl=C3=A9ment Pit--Claudel wrote: >> 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 >> Makarius made on the Proof General mailing list). >=20 > That's where my conclusions are from. Any precise spot to tell > otherwise? Yes: Makarius wrote: "While it is technically feasible to connect Proof G= eneral to Isabelle/Scala/PIDE in some imitation of the old TTY mode, I pe= rsonally don't believe that there are serious adherents to Emacs still ar= ound to do that." >> AFAICT, Isabelle moved to jEdit because that's what the authors >> liked programming in >=20 > That's interesting. Maybe that would also worth being reflected. So > extending in Java should be easier than in Emacs Lisp? How could it > came to this? Does Makarius know Emacs Lisp? >> What elements make you think Emacs policies had anything to do with >> it? >=20 > There are several. Think alone the matter of slowness, mentioned > again and again in bug-reports and development. AFAIU these slowness > is caused by bugs and design flaws, not by Emacs Lisp as such. The > introduction of circular dependencies WRT syntax-ppss probably > deserves being mentioned in this context. Propertize functions are > encouraged to call syntax-ppss while syntax-ppss itself propertizes. Interesting. I don't know about these things, but I never saw them them m= entioned (especially the last ones) outside of emacs-devel. --G9CSJtB1gvhWEuTqwCuo8o3oA2N86b0am-- --wX5WeMDFQvhBpWrHXkALqqB6bdWdfcaKH 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) iQIcBAEBAgAGBQJXcUuhAAoJEPqg+cTm90wjavAQALC9nSz63YCLDtbH5nNyisPH jQFn3eK1EFZZ+P20l77QCoVzUDxA6OuMDRYODqPAncwPmQg5eY5sQSYAv62GWDsz hjFY9R4VxsRodDYz6G9S8zfT9WWsHXyr0Jz2aUKWpqjvmGNaGSj/kFoodXsXt2SP GllZ/1OwLnovrDoBXAo13/9LhCUUMCrb/eAgpMWWYOgM0AYMuDLhaRsc9Z0ugWYH qlxJaPDEPbbpc9ycig0aGOFcWceBAOogIQ3TIIVIVNQauV/UTLVZ2sxaEwihGsLn nZqZ9p8kbUh8yogTSrEnwjR4OGR7UCYjrNeAF/zXDF7D9KYietM7fbJcS63bBhfL bcOH4aOm9mfZwDJHJjgtcbyT+WxFsvgBZubHJz3n6LoVpjgLVv+iM3IUIJ+mVDsd 3OGrdwYCRsRnQyjXJwaOI4oJ2g3984ADt96CL4LQq5aA1kmCMJnb+3smc+zDgk5D h+4b5ypO/Oc5B1fFBzokBXJO2myu1tOK9o3n9IDEYrAUmen+znqVqh0Lp2/m9wQL f4ZJAu/JZDgKFkcOX4Ghp+gngW4qnO6W7RumgmCR4rIPc6wwIM7oRK0uj6Lcl49G WjrfZg5Aj+0Mh2NNrDtftuOKHOu5AeImZITUNecXcNjnsPtxkQVUWdj+4qVtJPnr pr5i+kl7lZpsNmGZtKsk =ZzcU -----END PGP SIGNATURE----- --wX5WeMDFQvhBpWrHXkALqqB6bdWdfcaKH--