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

[Roberto Bagnara]

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


-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it