Re: forward-comment and syntax-ppss

[Clément Pit--Claudel]

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 fact, I
>> explained I developed my own alternative to narrowing with overlays because
>> 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 facility 
for which narrowing made things harder.

signature.asc
Description: OpenPGP digital signature