Eli Barzilay <e...@barzilay.org> writes:

>> Yeah, well, except you run into trouble almost immediately because
>> that code contains references, and Scribble is sensitive to all
>> kinds of side conditions involving references.

I'm talking about the references to identifiers, and sections.
Guillaume and I want pure, verbatim duplication of a piece of

>> At the time, you proposed a complicated macro to work around the
>> ensuing problems.

No, it was you.  This must have been in 2009.

Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
  For list-related administrative tasks:

Reply via email to