--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: tetex-extra: spacing of footnotes with hyperref and pdflatex
- From: Prakash Countcham <prakash.countcham@imag.fr>
- Date: Tue, 01 Feb 2005 17:41:08 +0100
- Message-id: <E1Cw15Q-0000lb-Hv@localhost.localdomain>
Package: tetex-extra
Version: 2.0.2c-3
Severity: normal
Tags: patch
Hi,
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?
Thanks,
Prakash
-- Package-specific info:
Please read and follow the instructions in the first lines below
the text: "-- Package-specific info:".
Thank you.
Press ENTER to continue
If you report an error when running one of the TeX-related binaries
(latex, pdftex, metafont,...), or if the bug is related to bad or wrong
output, please include a MINIMAL example input file that produces the
error in your report. Don't forget to also include minimal examples of
other files that are needed, e.g. bibtex databases. Often it also helps
to include the logfile. Please, never send included pictures!
If your example file isn't short or produces more than one page of
output (except when multiple pages are needed to show the problem),
you can probably minimize it further. Instructions on how to do that
can be found at
http://www.latex-einfuehrung.de/mini-en.html (english)
or
http://www.latex-einfuehrung.de/mini.html (german)
##################################
minimal input file
##################################
other files
######################################
List of ls-R files
-rw-r--r-- 1 pcountch pcountch 280 2005-01-25 14:49 /home/pcountch/texmf/ls-R
-rw-r--r-- 1 pcountch staff 3656 2005-01-25 14:49 /usr/local/share/texmf/ls-R
-rw-rw-r-- 1 root staff 91 2005-01-25 14:49 /usr/local/lib/texmf/ls-R
-rw-rw-r-- 1 root users 834 2005-01-25 14:49 /var/lib/texmf/ls-R
lrwxrwxrwx 1 root root 29 2004-12-14 14:56 /usr/share/texmf/ls-R -> /var/lib/texmf/ls-R-TEXMFMAIN
-- System Information:
Debian Release: 3.1
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.6.8
Locale: LANG=fr_FR, LC_CTYPE=fr_FR (charmap=ISO-8859-1)
Versions of packages tetex-extra depends on:
ii dpkg 1.10.26 Package maintenance system for Deb
ii gsfonts 8.14+v8.11-0.1 Fonts for the Ghostscript interpre
ii tetex-base 2.0.2c-3 Basic library files of teTeX
ii tetex-bin 2.0.2-26 The teTeX binary files
ii ucf 1.13 Update Configuration File: preserv
-- no debconf information
1127c1127
< \smash{\raise\HyperRaiseLinkLength\hbox{#1}}%
---
> \/\smash{\raise\HyperRaiseLinkLength\hbox{#1}}%
--- End Message ---