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