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 17:33:22 +0200 Message-ID: <8a06c531-eac2-cfd5-eab0-6bf197e8c3e0@online.de> References: <5254d43b-39dd-7ac2-03d7-349e6d710a6b@online.de> <577135CD.1040605@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 1467041405 4215 80.91.229.3 (27 Jun 2016 15:30:05 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 27 Jun 2016 15:30:05 +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:29:58 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 1bHYU1-0004C3-Jh for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 17:29:57 +0200 Original-Received: from localhost ([::1]:59348 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHYU0-00059z-NX for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 11:29:56 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50458) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHYSz-00057K-2R for emacs-devel@gnu.org; Mon, 27 Jun 2016 11:28:54 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bHYSu-0003ci-OJ for emacs-devel@gnu.org; Mon, 27 Jun 2016 11:28:52 -0400 Original-Received: from mout.kundenserver.de ([212.227.126.131]:61965) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHYSu-0003bh-EN for emacs-devel@gnu.org; Mon, 27 Jun 2016 11:28:48 -0400 Original-Received: from [192.168.178.35] ([77.12.118.111]) by mrelayeu.kundenserver.de (mreue003) with ESMTPSA (Nemesis) id 0MYaEY-1anHtl1ma2-00VQWB for ; Mon, 27 Jun 2016 17:28:47 +0200 User-Agent: Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Icedove/45.1.0 In-Reply-To: <577135CD.1040605@gmail.com> X-Provags-ID: V03:K0:5zsz/ZwVWW+KdmfCTRgmTJJDDeDfzyohMb/G2rXuUK/Vptze8oL TozKrGBZ7Q2FnjaTpTTWhTLendDlBrPWywqCGi3Z8VF6XbXbkeHQhEasBt+0ToGRAusxMoX fg7Fh0pjR3QSnR94kdFvbtyHpAGkgpzHzpXTOw2/qyk7CjqsbIpwilt6AO0znDVZU4T+1S3 qERAyMj7yQyPjTFxOko7Q== X-UI-Out-Filterresults: notjunk:1;V01:K0:YrjjoJdN740=:NeTcRd0lRxSp74Nh8lswph PRl2932hAqez1bc/3CLGp9mFeEMXUTfLJ/RVxAYo7BMz3OUVlS/HzCojLYiZoi6LYBv9Npizn 6w3QrMSxrsGyF89Gdnhxr4TRMjp5bf1Eqzw8GulPGI4/sgART33AxZJlg9ui3puMQha+fCmAI bYrimBMqswEeaZqHT7I/fJvHu3MMHdwjiFThMdxst2TIy3+oSrjFC7l/LVF2sSDA/5RvGz6pL ioPUoTZQhlBwsBQZdzBLiyJLiRq6b9XC3LnU1H0C6OjV0zeE1rmBzXVQuFzz7jy1N6B/u70+N DMUMzBZHasQ0/4lSx5KMeh5/K/g1kORqNaImtG4JGJDMsq7KtKD3OOcxq69R7lHszU8dFmNUW G5fRK/K0HG/1jyOUP+lWkXmITfKbrUqUXtXuE13KKjmkuo4GyQzw2wQ7RStOmo2Wb264owzeZ tqIcOXo91IWXmIwvH+bMWxc+RZkRpgnI60IIMqKifhZ5xNw21dhwLplN9ijM625H8j6XpCr72 B8b4R+JSf3IT+4Ld+8+j3i62lL4VP8BlBV7N5q9ZSM5UOMUnc2aMIEVwgnoH3zr3g90QA+2m0 craK3Olw/0ZZt11XQ/qZr1z2XEkJxoemir8ttW11uFqpzAQxGxL2vzTntToTPwLsGOjzZL6tG vly70qS9515Gnc+DWROwwgd5VMJ8ialNnGGAZRpQpCvXQpDb4BkQuiKNk1kO8SVpxaQmiZMhP AustGPhErNxxQoAE X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.126.131 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:204808 Archived-At: 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? > AFAICT, Isabelle moved to jEdit because that's what the authors liked programming in 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? > , and because they didn't particularly care about Emacs support — which did cause some frustration in the Isabelle community, btw. > > What elements make you think Emacs policies had anything to do with it? 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.