-------- 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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it