Bug#293183: tetex-extra: spacing of footnotes with hyperref and pdflatex

[Hilmar Preusse <hille42@web.de>]

On 01.02.05 Prakash Countcham (prakash.countcham@imag.fr) wrote:

Hi Prakash,

Are you the submitter of http://bugs.debian.org/293183? Long quote
follows:

> I described the following problem on fr.comp.text.tex.
> 
> When I compile the document 
> 
> \documentclass{entcs}
> \begin{document}
> We do not consider variables and quantifiers for the following reason:
> in SEM each input clause with $n$ universally quantified variables
> $C(x_1,\ldots,x_n)$ is replaced by the conjunction of the ground clauses
> $C(v_1,\ldots,v_n)$ for all possible\footnote{blabla} values $v_i\in D$.
> Since the elements of $D$ are not constant symbols, we replace each
> value $v\in D$ by a special, new constant symbol $a_v$. These constants are
> special because they are given special values in $I$; we take $I[a_v] = \{v\}$,
> and of course we implicitly add them to $\Sigma$. We will not prove that any
> first order formula with equality $\psi$ can thus be transformed into a
> set of ground clauses $\varphi$, such that searching models of $\psi$ in $D$
> is equivalent (through a 1-1 correspondence) to searching models of
> $\varphi$ among the refinements of $I$.
> \end{document}
> %% entcs.cls availaible in http://math.tulane.edu/~entcs/generic.tar.gz
> 
> with latex and pdflatex, I don't obtain the same result.
> 
> Arnaud Giersch, in message <87lla8xsdp.fsf@dinadan.u-strasbg.fr>, found
> that it was a bug of hyperref and proposed the following patch for the
> file hyperref.sty:
> 
> 1127c1127
> <     \smash{\raise\HyperRaiseLinkLength\hbox{#1}}%
> ---
> >     \/\smash{\raise\HyperRaiseLinkLength\hbox{#1}}%
> 
> Is it possible to apply the patch and warn the authors?
> 
>From the code change in TL 2007 I'd deduce the problem is solved
there. Can you confirm? Can we close the bug?

Thanks,
  Hilmar
-- 
sigmentation fault