[PPL-devel] [Fwd: Re: Additional patch for spacing problems]

-------- Original Message -------- Subject: Re: Additional patch for spacing problems Date: Sat, 22 Feb 2003 13:25:02 +0100 From: Dimitri van Heesch dimitri@stack.nl To: Roberto Bagnara bagnara@cs.unipr.it References: 3E565597.3020205@cs.unipr.it

On Fri, Feb 21, 2003 at 05:36:39PM +0100, Roberto Bagnara wrote:

Dear Dimitri,

a related spacing problem can be seen by having something like

    [\ref BRZH02c]

in the source. Again, there is a spurious space after the closed curly bracket

    [{\bf BRZH02c} ]

This can be fixed by applying the attached patch, in addition to the one I sent before.

Thanks! I'll include both patches in the next CVS update.

Regards, Dimitri