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: Emacs and jEdit Date: Tue, 19 Jul 2016 08:46:28 +0200 Message-ID: <578DCCC4.9060809@gmail.com> References: <611049b7-d084-cace-1e9d-513122d4bf97@online.de> <930040a6-f778-ad44-2b61-0b60af9c6398@online.de> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="QpWiOdcTd8PcBci6mTLho51KcDR033JXu" X-Trace: ger.gmane.org 1468910851 17553 80.91.229.3 (19 Jul 2016 06:47:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 19 Jul 2016 06:47:31 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Jul 19 08:47:21 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 1bPOoK-0007yY-Ep for ged-emacs-devel@m.gmane.org; Tue, 19 Jul 2016 08:47:20 +0200 Original-Received: from localhost ([::1]:53036 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bPOoJ-0007uL-PO for ged-emacs-devel@m.gmane.org; Tue, 19 Jul 2016 02:47:19 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46626) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bPOnk-0007tp-0l for emacs-devel@gnu.org; Tue, 19 Jul 2016 02:46:44 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bPOnf-0004yH-RL for emacs-devel@gnu.org; Tue, 19 Jul 2016 02:46:43 -0400 Original-Received: from mout.kundenserver.de ([212.227.17.13]:56457) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bPOnf-0004y4-Gu for emacs-devel@gnu.org; Tue, 19 Jul 2016 02:46:39 -0400 Original-Received: from [192.168.1.82] ([109.24.225.43]) by mrelayeu.kundenserver.de (mreue104) with ESMTPSA (Nemesis) id 0Lzadu-1bLOcT2w8g-014mpU for ; Tue, 19 Jul 2016 08:46:35 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 In-Reply-To: X-Provags-ID: V03:K0:PV+UZgYBS+w02Zq0rbsvKwKHM713Xt0kmj6/kBWK3LBP9mKBlWf XHJuJ9kUna9JoDWAtAdYI2LvclMF0T2U3ry+jLqyPkRTKLGnoKEhbw+c8rRoYoNNNGRGruS R8wWzy7xC82+QXs+gMLDlw9mM+BhcbVhdcOlObt9etUy5dx75JJLRO3ImOKqDlioon5BF3o ctkUB2iDxh7UFyVzuc6xA== X-UI-Out-Filterresults: notjunk:1;V01:K0:3WeSavr5zU4=:DiQCKPdR+NGZUnnvurY2xX NCAQRsD+r6/K8yFOkOxyPOy7HrRIvl+X9ktC0xdgxogfkoRqegNIH+2dnuUYYf4mix1gWNwgC lx04YWrUB1W772A4755z7IPMgiexWypKJPEoVvBN+reWzrAjTrAfjBdqm/xk7jqq4Ghv++bDn Ei+tqGmqYAqUoUrmMUeRkJ13x/0qk92pZ177PD0M0qQEajMW1SBF69A3acBWv+E7RqUaPsvl6 ZN7rjPEsfzxh/1RyvIVtg5XOWBpQ1/OwvpJoBYTsiiCR84cWNnNCd/6RIdWV5HG1OBP5+tPMT sDj4SsMUMtgh1ZE/VYf7Mui+81HQZGSuR5ud/Lbbu1V1amzMMoH+W63uIc++DDYYwenIwe7mp qd4dH70ZaUYfB6lM1/9JxhdcupxXnRD1hmJwpiU0BHNI08XmfeXBgd1H7cyXqj0dYFOZGeCKL QRfOSUu7g09HB96lVkhbGijZLIzaf+lUxgABLe+cOLL3SsXT+1a5Y2B4nuiTm3qDmq8LkF+m6 Lx56GfaOr1mZONX3y2QVf8rRFQtqx16E7lDOuPDMyTCf17Ui5g8Fn6eTJ8NQs7B06RSgIg79P PAXYCI/C4He82e5R2JI7yDBqwe6EoXI1mUQyULKUY1rjV+oiQ0enzcICAkDWDG54tOxYNXZ1f WrEjug6Zd6bTtg3/6RxbuQrCyXdMmyIa3Z0dYKrDZP5Ynhu0THzdHim361M2ryeGJu+4= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.17.13 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:205835 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --QpWiOdcTd8PcBci6mTLho51KcDR033JXu Content-Type: multipart/mixed; boundary="o1H7EvxgtjUtftPlUeRa3lPFQaX188mCm" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: emacs-devel@gnu.org Message-ID: <578DCCC4.9060809@gmail.com> Subject: Re: Emacs and jEdit References: <611049b7-d084-cace-1e9d-513122d4bf97@online.de> <930040a6-f778-ad44-2b61-0b60af9c6398@online.de> In-Reply-To: --o1H7EvxgtjUtftPlUeRa3lPFQaX188mCm Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2016-07-19 06:51, Richard Stallman wrote: > [[[ To any NSA and FBI agents reading my email: please consider ]]] > [[[ whether defending the US Constitution against all enemies, ]]] > [[[ foreign or domestic, requires you to follow Snowden's example. ]]] >=20 > > Huh? Isabelle/HOL developed a fancier protocol/interface for its > > various IDEs. >=20 > Is there a fundamental difficulty in making Emacs support that protocol= , > or is it just a matter of work? Nothing fundamental; just a matter of work (plus the fact that async stuf= f in Emacs isn't that easy). But really, Isabelle is a bad example here: the lead developer of that pr= otocol also works/worked on jEdit. Cl=C3=A9ment. --o1H7EvxgtjUtftPlUeRa3lPFQaX188mCm-- --QpWiOdcTd8PcBci6mTLho51KcDR033JXu 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 iQIcBAEBCAAGBQJXjczKAAoJEPqg+cTm90wjjfUP/RUT+fD/sF4/VIdDUFG4HZYO CIgA7HtwVPvrz/DwFsQr1EkBQMPKDw1lf8IdUWlsBcoZez4TLtluCCW8qCtgmt39 eAat+hbrnkmb8/5ffFoIVR6VwznVbmY8vAlOa0EbMJskXEgbz6htxKmIKjzLidu1 8w/1yczW9zb7HY1USALbiA+rljFfnvujQFQDNc1rQ8F001JezlbnQ5pD7WLTvc2q C5BaVG/pGR44moFtjyFYXlAhlBzIt9riB0UYSPTqA/w4Pu/rM9gkJskaOPrVuFWe eoPkPxbGvqw6r0S561b0d0Qz9qQ6d3XM6vBm5LNtn5PNrwj/9J2DdZNmvP21OgLf fY/xO1CbSDRdsZ+6mViX6K5k2o7W1wudPSEv6NhbwV1Nm1GEyC0mwJVqg1lrNPPk 5KNsin0Qte84A7wr4grgCT2TeqxmosGp4LPzqCCa0xr0A16vj2SCwp5EZGZWCplE m/aHc9nMIB8yJoxRtu5nbwoFyq2FIn5vbwynqr0b6YDLb+xoSlqdN1o55rVfUPMu Mnw50ppm6JYyu/5HvVAhGjwG6J/Gfvl0Ty724/dwZTbK4+t/Kad53I2W3aJ66n/M zi2QHJJ8p7M7O4IRPPpZDW4OBzcdzW4LOwkmBMwhhKK9uQq+M3MBHi7Fe04TEhVH hyU8pJRdVndetkoBeeG8 =DIxa -----END PGP SIGNATURE----- --QpWiOdcTd8PcBci6mTLho51KcDR033JXu--