[PPL-devel] Additional patch for spacing problems

[Roberto Bagnara]

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.
Cheers

     Roberto

-- 
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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: spacing_patch2.gz
Type: application/x-gzip
Size: 242 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20030221/0d0a6f3c/attachment.bin>