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 14:50:12 -0500 Message-ID: <295c7d25-444d-2bf5-b649-e9eafec3bd2d@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> <877a8d5a-ee08-29a1-8c7e-6cc8a82dfc83@gmail.com> <4ded3b07-18ab-4864-b72d-f217a86c123d@default> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="H4NcvFNIMKHfau8LLMcRfC0kJr3MhsfSK" X-Trace: blaine.gmane.org 1481917842 18759 195.159.176.226 (16 Dec 2016 19:50:42 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 16 Dec 2016 19:50:42 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1 To: Drew Adams , emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Dec 16 20:50:38 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 1cHyWZ-0003vA-Lk for ged-emacs-devel@m.gmane.org; Fri, 16 Dec 2016 20:50:35 +0100 Original-Received: from localhost ([::1]:34048 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cHyWd-00043O-TO for ged-emacs-devel@m.gmane.org; Fri, 16 Dec 2016 14:50:39 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46206) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cHyWT-0003wg-TD for emacs-devel@gnu.org; Fri, 16 Dec 2016 14:50:30 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cHyWQ-00078g-Sg for emacs-devel@gnu.org; Fri, 16 Dec 2016 14:50:29 -0500 Original-Received: from mout.kundenserver.de ([217.72.192.73]:60075) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cHyWQ-00077R-HD for emacs-devel@gnu.org; Fri, 16 Dec 2016 14:50:26 -0500 Original-Received: from [18.26.2.123] ([18.26.2.123]) by mrelayeu.kundenserver.de (mreue101 [212.227.15.184]) with ESMTPSA (Nemesis) id 0MejHM-1by8JQ0xtQ-00OGtq; Fri, 16 Dec 2016 20:50:20 +0100 In-Reply-To: <4ded3b07-18ab-4864-b72d-f217a86c123d@default> X-Provags-ID: V03:K0:VhN421u7GUalIdxu6dQW97cEFF5azuM7Nn+OdJhkIG/MuJc0wYY yu/hjvh9x+QmGuBjesPU3v3yVBzoVSjiOXU+JPkLmaoEIfVgsBW2IZtCLRMqB21bDNadlHP wAPw6guiLeh1ovYTmYcyXtKQ26+bFpIKtmUf1oZF6UWOr8KDMX8Z6zHJ6Usq/Tw1NSGPE7H MvOrHa8V+YocG9IjVeURw== X-UI-Out-Filterresults: notjunk:1;V01:K0:GVuyShmEDHE=:oObhm/CesSPofo4YxJqYMf 8yZEbLa4t1gxLc62lx9c/dFPG+oMtDT1RRrhQfME4WY+AHWen64CYLtxpgtdqn+RJsV3i3UIZ SDRxzo/Pc1H6ZPSR2h2gyCH3t1yyAVvvwOYvRStplwsrxCX5tX7mvwFwXxQlhPBCp0uFbVZ6x TnSGoTGamM/Glito6RL5N1RxG9irKlcOBoCJNGJlnGfSq1gZ78qWcpa6uKYSElrZ9Y1h/cNOm opnJU/BYUqPFXvMKjrkVlNpgxJmOXagKFA/dLqX7w6P0lODXy0ydvZ+VXWEnBj/CSZjXgQxoT B9RunaOqH7XlZCnMsC+pQQjzE//RwWftSmmt1BPS6N1Nny7tXaltW/ZFGo1dOuG11Yjqt/DTy 6Ixe03p8JH82aDo+Mq01f7LfRm1buUKCM8MTtPPI/JhdghKUG7X1+q6lKrPJyJdSlHqKbzcDc pEMfZg/OakIrYd+YhPYmDCAAbwI4Vkixd16ShkmX56sca/1dJ7FX1vfPpLp7h1F0tjeNDevWD kgbxJ9XtdlDlzCz6Jaj5VQz6CsE/bOAZY22WhG1PlorkxB8A0p+VdnTpihF22uY4AvFTtT3Qs paP1qj5yIZuHBwNa/4p0BTb7HXorqmm9V3hFXnM3HRAhI9f7KhiikvVesSWGlIiJjN8GPTM8+ +L5tzvi66uM/y+46kmaL54ln1IxZLf53Qmb0cfwwOzsbNv/YxdVYDvvVJFr76qH4MTxY= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 217.72.192.73 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:210536 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --H4NcvFNIMKHfau8LLMcRfC0kJr3MhsfSK Content-Type: multipart/mixed; boundary="oRb2WEBjWvokC67TIcgQwxNLM2280KtN7"; protected-headers="v1" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: Drew Adams , emacs-devel@gnu.org Message-ID: <295c7d25-444d-2bf5-b649-e9eafec3bd2d@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> <877a8d5a-ee08-29a1-8c7e-6cc8a82dfc83@gmail.com> <4ded3b07-18ab-4864-b72d-f217a86c123d@default> In-Reply-To: <4ded3b07-18ab-4864-b72d-f217a86c123d@default> --oRb2WEBjWvokC67TIcgQwxNLM2280KtN7 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2016-12-16 11:22, 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 f= act, I >> explained I developed my own alternative to narrowing with overlays be= cause >> other packages broke in the face of regular narrowing. > "Narrowing breaks proof-general". Really? Narrowing did that? I mean that narrowing a buffer causes Proof General to misbehave. That's= obviously a Proof General bug; I only intended it as an example of a fac= ility for which narrowing made things harder. --oRb2WEBjWvokC67TIcgQwxNLM2280KtN7-- --H4NcvFNIMKHfau8LLMcRfC0kJr3MhsfSK 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 iQIcBAEBCAAGBQJYVEV6AAoJEPqg+cTm90wjeukQALKNX++7e+2zGn+Sge8xQHEN urNfWPYatAXaCdt5bJ0p82qUddHHNr5a1vtt6xzT9ATDuYBwI/PZ1zXJBM5+bMNg 2GrAiiaakxmvaGEhAqupbC/a4Agg172MiTZzMUwmsm8n4LkhM3Uoc91wQnhX89GI +GAmxQrVMqIMgtt5kvgiqLKFiQZhTqjMxli+lFaxSUbgb2LOrZScVlHlfIi1T33L tXrf3YB7d2u2wySdvDTTqlb6GUqjKLGTBzMQAjt8VZJxX+BU4JTHW205dzR/AXAo 0SbPNz+2cXXiQ2EzGi3HfNbGcNeGae/jmXTXZPlskdGBjgDtPX3gDF0A/dwrmD6g UMEpoQximvGhoBev3u3QV86qTEky23hUBtPsanC9nIhj8+65osu4VtklmTQSUz0I uYHXNvXuRjjhQ3mAGXEgYtGysl/W/mx2hPj17QPsKhf5QZ9gcYGpseJypKgLm9M8 wptY7SV8pfCLLNi9qQeQCCsShqTYh2TKTXJSwUmBePhaFYvpaFWm+nt6y5Fezsqq hWC92kQYFL1YXRCe3242i5Fw4xypKKBdPlQuxnRbmDxnn3f4IL6xX7ZUEx4TYuLE S0c8jKTyOdWiz6XDDLu2FMxclNMV2MIzNRF7eBcdzw1FGeQvYzZSHD27cE+9gWKQ 4Eo8hzMVmrkPVZnYXKVd =NKUG -----END PGP SIGNATURE----- --H4NcvFNIMKHfau8LLMcRfC0kJr3MhsfSK--