[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: forward-comment and syntax-ppss

From: Clément Pit--Claudel
Subject: Re: forward-comment and syntax-ppss
Date: Fri, 16 Dec 2016 14:50:12 -0500
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1

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.

Attachment: signature.asc
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]