On 01.02.05 Prakash Countcham ([EMAIL PROTECTED]) 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 <[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? > >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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]