Re: Small patch

[Jean-Marc Lasgouttes]

>>>>> "Dekel" == Dekel Tsur <[EMAIL PROTECTED]> writes:

Dekel> I've taken a look at various documentclasses, and when I looked
Dekel> at hollywood.layout, I got annoyed by the fact that the
Dekel> Parenthetical layout only draws ( and not ). So I quickly
Dekel> created a patch that fixes it (I've already done most of the
Dekel> work when I added support for end-of-proof box). The patch is
Dekel> attached.

Wow! Yes another patch for Dekel :)

I just commited it.

JMarc