Dear Dimitri,
there are a couple of spacing problems affecting the LaTeX output.
This is demonstrated by the attached testcase.
What happens is that something like
two <I>emphasized words</I>, and other words
is translated into
two {\em emphasized words} , and other words
There are two problems here: the first and most important
is that the space between the closed curly bracket and the
comma should not be there since LaTeX will put unwanted
space before the comma and, even worse, may break the line
before the comma. This problem applies also to other
HTML tags such as <EM>, <STRONG> and <B>.
The other problem is that either the LaTeX anachronism
{\em emphasized text}
should be avoided in favor of
\emph{emphasized text}
or, if that is impossible for some reason (e.g., you want
to support very old versions of LaTeX), an italic
correction should be inserted, as in
{\em emphasized text\/}
This problem affects both <I> and <EM>.
The attached patch solves both problems.
Can this be applied before the release?
All the best
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-02-19 17:58:36
Modified files:
src : compute_bounds.cc
Log message:
Fixed a bug and improved lower bound in the case of functional equation
with only polynomials in the inhomogeneous term.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-02-19 09:05:58
Modified files:
src : compute_bounds.cc
Log message:
Fixed a bug in the computation of the upper bound in the function
`bounds_for_exp_function()'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-02-18 16:24:01
Modified files:
tests : heap
Log message:
Marked with `n' two non-linear recurrences for which the system
is not able to find the solution.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…
