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 <[EMAIL PROTECTED]>, 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}}%