From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= Newsgroups: gmane.emacs.devel Subject: Re: forward-comment and syntax-ppss Date: Fri, 16 Dec 2016 09:24:22 -0500 Message-ID: <877a8d5a-ee08-29a1-8c7e-6cc8a82dfc83@gmail.com> References: <83fd1db0-7362-6117-c5cd-715398c0dea4@gmail.com> <20161207220447.GA4503@acm.fritz.box> <20161208201517.GB3120@acm.fritz.box> <20161209190747.GC2203@acm.fritz.box> <5a70902f-882e-f616-74b2-df6eb81fc70c@yandex.ru> <20161211101715.GA14084@acm.fritz.box> <51c0554f-40d0-37a5-b134-17058343aa3f@yandex.ru> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="PgSSGISFIjTwUAb3bRQCkINh0dphoCvOQ" X-Trace: blaine.gmane.org 1481898290 24697 195.159.176.226 (16 Dec 2016 14:24:50 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 16 Dec 2016 14:24:50 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1 To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Dec 16 15:24:43 2016 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cHtR9-0004Vu-UW for ged-emacs-devel@m.gmane.org; Fri, 16 Dec 2016 15:24:40 +0100 Original-Received: from localhost ([::1]:60796 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cHtRC-00068a-Dd for ged-emacs-devel@m.gmane.org; Fri, 16 Dec 2016 09:24:42 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:39519) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cHtR5-000623-NC for emacs-devel@gnu.org; Fri, 16 Dec 2016 09:24:36 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cHtR3-0000Dy-31 for emacs-devel@gnu.org; Fri, 16 Dec 2016 09:24:35 -0500 Original-Received: from mout.kundenserver.de ([217.72.192.75]:61333) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cHtR2-0000CU-Nt for emacs-devel@gnu.org; Fri, 16 Dec 2016 09:24:33 -0500 Original-Received: from [18.26.2.123] ([18.26.2.123]) by mrelayeu.kundenserver.de (mreue103 [212.227.15.184]) with ESMTPSA (Nemesis) id 0MDVnR-1cPGE40Grd-00GoYK for ; Fri, 16 Dec 2016 15:24:29 +0100 In-Reply-To: X-Provags-ID: V03:K0:cQL0vTkXV2Kf8BCqKrG6QmXTo9xXoiY78HxPNqxazGoeqzw700s q6Nu3xbbPuXl/rt4LkKod4YLhRmZMMMONv9rl+M1UVMyGPhWk5rgSaWlDSILvmaTafmbNiT xStYJQyCJpNOEDiHawjgkMQbAQyWYshBfUdSUAt9RQLwLsGLI73pAV0TUN5J75NKHwmL4D5 rK06u35l24ykoPhapOh0A== X-UI-Out-Filterresults: notjunk:1;V01:K0:tPCfPyBSJXI=:h1eyHl2ah/ZLFsQYVtww9t vcrAS7ejrzzIvfquWZ6ds7nr8hNL2VAumPdxhrE7HGGPxMnzQxjO4OmC7FBqo1BzkqnJV+f8o 0K6HMo5chVXG9k92JKAZO0E36aIf9D42Njgu51Si7fR6furX9zwg2cLI/dEFQesr9HfUd60RS yiTKlz/i+67d8GcdN2U5G+pBMCMU4jx9iIy0OubG2xezbc1aidGhkC46IrwKmzRkj3AccbOtM eppHhZK7jdN/pf0pPnPzP06M/RSCEosalbYex0b4rthRlTDWXNEiNEaBiY7rvKA5pxMiKrIaF 5DTcdX0x280+AfKXws9rVtXw/rFTiBD3zk10RG2ab14vy+tAE7GqVX5ce6FZzfZge9AKDKb40 7v6LuzSN0FhDoWwiXZNLC4kNemKhpKThSIc+CKbY5wm0CsWyrDvMKyNbiDr9nyn2rpQiPQ3Wy LqZzvvbzzHDbRwnCxKl/egXVdt6LYNX4UoZeRwtZFV5fpOzjB2/eWJFBq1gieaVC+T/eZHExl 0UXxmMS0X7KoVXJdGgCFP53HRKiZ2RQxBnhrIRZY6o1rLu/5HbZqiJ+vswma0QcLbLiYJz6AK f9PZBcZskc3PA64vsAsporfs0jDEcdhA/GNB98c+G4b3REpvp2GPg6g2YVRoNC2GjM2kqRHPz ngPHXSxLwyMQsY9JrxSxDrR7pg9jXkfHt+Mc+jleXMLC1V2qy+Yq0uwUdGznI1Ymm0sU= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] 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:210512 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --PgSSGISFIjTwUAb3bRQCkINh0dphoCvOQ Content-Type: multipart/mixed; boundary="abPqegh5DCR91iKsBrAeGSKl0XCjG1w05"; protected-headers="v1" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: emacs-devel@gnu.org Message-ID: <877a8d5a-ee08-29a1-8c7e-6cc8a82dfc83@gmail.com> Subject: Re: forward-comment and syntax-ppss References: <83fd1db0-7362-6117-c5cd-715398c0dea4@gmail.com> <20161207220447.GA4503@acm.fritz.box> <20161208201517.GB3120@acm.fritz.box> <20161209190747.GC2203@acm.fritz.box> <5a70902f-882e-f616-74b2-df6eb81fc70c@yandex.ru> <20161211101715.GA14084@acm.fritz.box> <51c0554f-40d0-37a5-b134-17058343aa3f@yandex.ru> In-Reply-To: --abPqegh5DCR91iKsBrAeGSKl0XCjG1w05 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2016-12-15 21:06, Drew Adams wrote: >> Thus, without making things harder for many other facilities. > No one has given an example of how narrowing makes things > hard "for many other facilities" - or even for one facility. I think I gave one example of how narrowing breaks proof-general; in fact= , I explained I developed my own alternative to narrowing with overlays b= ecause other packages broke in the face of regular narrowing. --abPqegh5DCR91iKsBrAeGSKl0XCjG1w05-- --PgSSGISFIjTwUAb3bRQCkINh0dphoCvOQ 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 iQIcBAEBCAAGBQJYU/kWAAoJEPqg+cTm90wjq7oQAJei4LENctc9WwOLTwmXEE/j s4RsVcu4FII2t8auoYhYVJ8zXXMhSFmlNjiQ6ju7s/+aLGkHL6w/B0PH41L7BDAX JWWi6iIltpyc1BVtkahmrJfrp0fkwx+oo4eK40jGrytAzuNKHE53BBhNEEQScO3g IO1j4wMzoYgYazjx2WXydjuAt4YnLQj/v+e3zORcXraQP+jcqamIHf7ExwpufJm8 W3yy57lS7TocdS8/2kVdFEm/UAAoDgRpOddqNKkEnGg/is3VtthYSoGHKlzVoxOY 6J9xTYp7qCShdYkwi1Wx/zJJ2HYE+aRtXWWPgxT+mM9FETEw3cUt8zRM+I8IkVJT 2/8uoygL2WFkrkqdS/Jy7oHh0tVz0Oxpztrid+arZMVeD053ejrI8t2IfDrcLOqi A+9T/53P9oytp3p8+DdE3Dquf83WZRgAa5iQmU9Y4B46+lYCBmjz9+vkZk7ghaZq Tl6ORGNbN2+eAfPNOq8GaropQdMv1TIcHN/cGBL3qnI3MIW29ZnaYMNFi6Lbx5eT +ps4BWJauhG4bQSkTUFpFlsoTQVBCFGniWdXW9VxUSGXIntfxVqi9HRdHSayDsVD xvt0r0uNpbeK+0e47UzmoHOE4RgalRSpEfcz5lZ7K1rcuMXBK0UwJ8dWfRZJsUPL hQhoAWeXLI36HDxSu8J2 =XElm -----END PGP SIGNATURE----- --PgSSGISFIjTwUAb3bRQCkINh0dphoCvOQ--