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:53:43 -0400 Message-ID: <57714C07.7040805@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="wojMRQHSa1B4fChPhV0u6pPN6M4kpXl4H" X-Trace: ger.gmane.org 1467043165 711 80.91.229.3 (27 Jun 2016 15:59:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 27 Jun 2016 15:59:25 +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:59:17 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 1bHYwP-0003sg-BK for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 17:59:17 +0200 Original-Received: from localhost ([::1]:59579 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHYwO-00031U-IK for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 11:59:16 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59758) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHYr9-0006ic-VO for emacs-devel@gnu.org; Mon, 27 Jun 2016 11:53:52 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bHYr3-0002Cn-Vn for emacs-devel@gnu.org; Mon, 27 Jun 2016 11:53:50 -0400 Original-Received: from mout.kundenserver.de ([212.227.126.133]:61144) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHYr3-0002Cb-Ky for emacs-devel@gnu.org; Mon, 27 Jun 2016 11:53:45 -0400 Original-Received: from [18.26.2.123] ([18.26.2.123]) by mrelayeu.kundenserver.de (mreue001) with ESMTPSA (Nemesis) id 0MFUge-1b5Ve82dyW-00EIwl for ; Mon, 27 Jun 2016 17:53:44 +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:fncvj+3sg2b5Ittw7lhK8+XNRgm3ui6PffmQ/5hUffpKxN5RKlV 90cW30iTMdaLJvyWR1pDgSEptYWJqNxcaJV2A9IsaYTPoPmJVQsgY1Fa9DsqcKjGbCIdmHE e0TU3MeC6Mjkxw0c71GyB/52pHqpPWaj7+sHpWzdihwuVI1CQNPFQTq6m/TIgo3c/FU3QSX iqR7PWrUsQApEdDY4symA== X-UI-Out-Filterresults: notjunk:1;V01:K0:cQ2erVTPvy8=:LgeS0DoSYd2vkpfgFuZqMe BU5TJtzgEyaZP6oraLeWpYqPdFCLW30SaZN15OV/jHhEuy1axiJHlRtg1vTyaXHwopn1bkvZd RVvwkYS0q6MM8nRt4VIPGtPY2tx05QDMqkdU523Hyb2tPpGSEUMbFrGrWVQNKRLFQPe0Knkzn VklNGHPZa/7uZTbGKQU/idE08tTSna+YAX7S0HpP1VOtW3LrhVWercpadbgChLahlcoLsyGnX ap0RSGXHO7qzF+HY9y2LhyuqUQMYIO4couxIAcQAVJPqMkN8NQFLrbBBI5aZg6o07I104WnoG PeqSklVi4jh/WYm535EtNa7vRzbzcsAtOxug6m/Ytbv9nkx/HctDlUQiNphJ7+eR2G/CkTBpJ Ce28mZNsyrclVUT8uFNhatqK7HMJJhAkEnPagnXUfbWLaux1KwjPgtun2E6gybc6bKmNiZL7/ 3ADSoOpxyp1hftLsSffw1wXgWEAnQANEvVdXQ3Az2/SqEB9JINDt23LIGbBh82kUZ2OzjzLy7 hQJaB6sUAnKRgCKLrgUQy6IZl0zl/6ws74iEMfkCzzu68xmWqiMjrZQkKoyRcSSY/Dkw1LtmF JQ2UMB0ImeLbzgN+Gjf81h5AAKPup3+WZHv5z9nGDUfc8cZf7XN2h3xt0sz7MswizY8qfQVEv nf0qepAIJ8xiGLBgaidYuA84xN4WxnwozCTgQAg5n85CKQJdYjW63YPPqkqIAigLdoQk= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.126.133 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:204813 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --wojMRQHSa1B4fChPhV0u6pPN6M4kpXl4H Content-Type: multipart/mixed; boundary="XpuTp6k21K3nWF2kQvAA6TCe5CUchAgeO" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: emacs-devel@gnu.org Message-ID: <57714C07.7040805@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> --XpuTp6k21K3nWF2kQvAA6TCe5CUchAgeO Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2016-06-27 11:33, Andreas R=C3=B6hler wrote: >> 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? Also: Makarius is a co-author of jEdit. --XpuTp6k21K3nWF2kQvAA6TCe5CUchAgeO-- --wojMRQHSa1B4fChPhV0u6pPN6M4kpXl4H 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) iQIcBAEBAgAGBQJXcUwHAAoJEPqg+cTm90wjwl4QALh1lb2QtcBTQG9Iv/nL5xua b5CflzNEXj9x5SmZs6wxmLNCgINqlH/QuHcjO/OyYjIPLbgOGhzqyXX22UQM9+zE klAW6S6xglthB3vwMOl16NW93mgxEDj8v5i3vxUX4u+QMk1Bm+EmL/63UaTF3mQN Qj481i7koqTQYjz2oJ1G3fWtyecMTfG1Ccvk6rrdUAWz3CoX8jRKUJ706aK3+WTz 9jhAEoWBsTO8Vk3tBEv75PioJ6etbn7O0s6Ml87ITzOCnZ1Ny1bfjbHhZkINhHT3 mWmkPxvpet2Z1A+X0QouQpGHq1WgZndct6AP4AiU4T/bm6PwNd4ViXVtg8E1kgXR T6W1HHJgMSnaxYrFCL29XT0vxaDh36bXBYNgGQTyp0ob6QvqDxceFA3Fj1e5LwYX 0bEPtQ2SM4l+OAfyhSJi/y50U3qjFfnGmpT/8ee7pFR7vCMSmUwcPTx7YKIFoD9c kdcOr5dQK3hy1GKpetuzmMUxT4JgNs4uYtaFp1VnYOsuuLJnWGONqJwd4tOsvimg 4izx7K8gq+mhK5tWtE1X+iH8K+4KhJHC+QYT5Ndodjf0utI8QlCAhHnP0zVgqUw7 ZWbtrbbAy3mUqwRJq2y3e3ggs15k/+O10ms5WdZF7sSgOWWJyAwc/K609xIXzcT0 Rbp5zrgnHvnfLYqdmfh9 =//G1 -----END PGP SIGNATURE----- --wojMRQHSa1B4fChPhV0u6pPN6M4kpXl4H--