[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 09:24:22 -0500
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1

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 because 
other packages broke in the face of regular narrowing.

Attachment: signature.asc
Description: OpenPGP digital signature

reply via email to

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