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

2008-06-06 Thread Hilmar Preusse
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]



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

2008-06-05 Thread Hilmar Preusse
On 01.02.05 Prakash Countcham ([EMAIL PROTECTED]) wrote:

Hi Prakash,

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]



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

2005-02-04 Thread Frank Küster
Heiko Oberdiek [EMAIL PROTECTED] wrote:

 I have added the patch in the next version.
[...]
 Thank you very much, Arnaud, this is indeed a bug and not intended.
 It is fixed in the next version.

Is this version release-ready, so that it can get into teTeX-3.0 which
will be released soon?

Regards, Frank
-- 
Frank Küster
Inst. f. Biochemie der Univ. Zürich
Debian Developer




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

2005-02-04 Thread Heiko Oberdiek
On Fri, Feb 04, 2005 at 10:13:50AM +0100, Frank Küster wrote:

 Heiko Oberdiek [EMAIL PROTECTED] wrote:
 
  I have added the patch in the next version.
 [...]
  Thank you very much, Arnaud, this is indeed a bug and not intended.
  It is fixed in the next version.
 
 Is this version release-ready,

No.

Yours sincerely
  Heiko [EMAIL PROTECTED]



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

2005-02-03 Thread Arnaud Giersch
Mercredi le 02 février 2005, vers 12:25:30 (CET), Frank Küster a
écrit:

 if you're still interested in finding the reason for this bug, although
 it's already fixed, here's a better minimal example which doesn't use
 \footnotee. 

Frank,

I tried the latest hyperref found on CTAN (v6.74m) and the problem is
still visible with either my example (with \refstepcounter) or the
original one (with entcs.cls).

I was not able to reproduce the problem with your example on an
up-to-date Sarge system (file versions are the same as yours): cases 1
and 2 look identical with dvi or pdf.

I however did not try to download the full experimental teTeX package
(I do not want to break my current installation).  Can you, please,
try my code with the latest teTeX, and check if the fixed-* tags are
correct, or if they should be removed?

Regards,
-- 
Arnaud



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

2005-02-03 Thread Frank Küster
tags 293183 -fixed
tags 293183 -fixed-in-experimental
stop

Hallo Heiko,

mit der von Arnaud gelieferten Beispieldatei tritt das Problem hier mit
teTeX-beta_2.99.9 immer noch auf, und das enthält ein aktuelles
hyperref. Seine Beispieldatei und die beobachteten
Formatierungsänderungen hänge ich per Fullquote unten an, hier ist die
Filelist:

 *File List*
 article.cls2004/02/16 v1.4f Standard LaTeX document class
  size10.clo2004/02/16 v1.4f Standard LaTeX file (size option)
hyperref.sty2003/11/30 v6.74m Hypertext links for LaTeX
  keyval.sty1999/03/16 v1.13 key=value parser (DPC)
  pd1enc.def2003/11/30 v6.74m Hyperref: PDFDocEncoding definition (HO)
hyperref.cfg2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
 url.sty2004/03/15  ver 3.1  Verb mode for urls, etc.
 hpdftex.def2003/11/30 v6.74m Hyperref driver for pdfTeX
  pifont.sty2004/09/15 PSNFSS-v9.2 Pi font support (SPQR) 
upzd.fd2001/06/04 font definitions for U/pzd.
upsy.fd2001/06/04 font definitions for U/psy.
 nameref.sty2003/12/03 v2.21 Cross-referencing by name of section
hyperfootnote-mini.out
hyperfootnote-mini.out

Gruß, Frank

Arnaud Giersch [EMAIL PROTECTED] wrote:

 Mardi le 01 février 2005, vers 23:26:37 (CET), Prakash Countcham a
 écrit:

 What is the difference? Is it possible to see the difference in a
 document that does not use this entcs.cls?

 The difference is the number of letters on the second line. I think it is
 possible to see the difference in a standard document, but I don't have time
 to find the correct margins, characters size, etc. to reproduce the same
 bug.

 Hello,

 Unfortunately, I am unable to reproduce the bug by using footnotes
 with a standard document class.

 After further investigations, it seems that the bug appears because
 entcls.cls redefines footnotes to use \refstepcounter instead of
 \stepcounter.

 The following code exhibits a similar bug, using only standard article
 class and \refstepcounter:

 %%
 \documentclass{article}

 %\usepackage[pdftex]{hyperref}
 %\usepackage[dvips]{hyperref}
 %\usepackage{hyperref}

 \newcounter{a}
 \newlength{\La}
 \newlength{\Lb}

 \begin{document}

 \setlength{\La}{\textwidth}
 \addtolength{\La}{-\parindent}
 \settowidth{\Lb}{ hyphen}
 \addtolength{\La}{-\Lb}

 \newcommand{\test}[1]{%
   \par\rule{\La}{1pt} #1 \rule{5em}{1pt}.}

 \test{hyphenation}
 \test{hyphenation\stepcounter{a}}
 \test{hyphenation\refstepcounter{a}}

 \end{document}
 %%

 In the third test the word hyphenation is not always hyphenated.  In
 the following table, you can see the results for different cases:

  * without hyperref;

  * with hyperref, without option (it loads automatically the dvips
driver with latex, and the pdftex driver with pdflatex);

  * with hyperref, with option specifying the driver to use
(i.e. dvips for latex, or pdftex for pdflatex).

 In the table, I note correct when the word is hyphenated, and
 wrong when it is not.

 DVI (latex) PDF (pdflatex)
 --
 without hyperrefcorrect correct
 hyperref, no option wrong   wrong
 hyperref, with option   correct wrong
 --

 Note that the behavior is correct with hyperref when the dvips
 option is given while it is not with the implicit behavior.  This is
 because the dvips option redefines [EMAIL PROTECTED], while it is not
 the case when the default is used:

 [EMAIL PROTECTED]
   [EMAIL PROTECTED]
   [EMAIL PROTECTED]
   [EMAIL PROTECTED]
 }

 This particular point may be a Debian (or teTex) specificity: with the
 upstream hyperref (as found on CTAN), the default driver is
 hypertex.

 It is this different behavior with or without [EMAIL PROTECTED] that made
 me try to modify this macro.


 Furthermore, the bug disappears if we just remove the package hyperref from
 entcs.cls .

 It disappears too if you modify (or comment) the redefinitions of
 \footnote and \footnotemark in entcs.cls.


 Arnaud Giersch, in message [EMAIL PROTECTED], found
 that it was a bug of hyperref and proposed the following patch for the

 Why do you think that inserting an italic correction here makes a
 difference between latex and pdflatex? 

 I don't really understand it, but Donald Arseneau suggested that in 
 http://groups.google.fr/groups?threadm=c1.2b8.2K1LTn%2409i%40ag.rhein-main.de

 I do not fully understand myself why an italic correction does the
 trick.  I suggested this patch by simply following the advice given by
 Donal Arseneau.

 After some thinking, I do not even know if the patch is good enough or
 if it breaks things elsewhere.  :-(

 About this old c.t.t. thread, the following comment, found in
 hyperref.dtx, suggests that the bug talked 

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

2005-02-03 Thread Heiko Oberdiek
Hello,

On Wed, Feb 02, 2005 at 12:25:30PM +0100, Frank Küster wrote:

 Arnaud Giersch [EMAIL PROTECTED] schrieb:
 
  The following code exhibits a similar bug, using only standard article
  class and \refstepcounter:
 
  %%
  \documentclass{article}
 
  %\usepackage[pdftex]{hyperref}
  %\usepackage[dvips]{hyperref}
  %\usepackage{hyperref}
 
  \newcounter{a}
  \newlength{\La}
  \newlength{\Lb}
 
  \begin{document}
 
  \setlength{\La}{\textwidth}
  \addtolength{\La}{-\parindent}
  \settowidth{\Lb}{ hyphen}
  \addtolength{\La}{-\Lb}
 
  \newcommand{\test}[1]{%
\par\rule{\La}{1pt} #1 \rule{5em}{1pt}.}
 
  \test{hyphenation}
  \test{hyphenation\stepcounter{a}}
  \test{hyphenation\refstepcounter{a}}
 
  \end{document}
  %%

A very good minimal example!

With \refstepcounter has to set an anchor. On the baseline it looks
poor, thus it is shifted by [EMAIL PROTECTED] This is implemented
by \smash that sets a box. Thus the example can be reduced to
the following plain-TeX file:

\hsize1mm
a hyphenation\par
a hyphenation\hbox{}
\bye

The box prevents the hyphenation.

A penalty cures the prevented hyphenation problem:

\makeatletter
[EMAIL PROTECTED]
  \setlength\HyperRaiseLinkLength\HyperRaiseLinkDefault
  \HyperRaiseLinkHook
  \ifvmode
#1%
  \else
[EMAIL PROTECTED]
\smash{\raise\HyperRaiseLinkLength\hbox{#1}}%
  \fi
}
\makeatother

But whether it will break other things?
I have added the patch in the next version.

With driver dvips the shifting is done at PostScript level.

  In the third test the word hyphenation is not always hyphenated.  In
  the following table, you can see the results for different cases:
 
   * without hyperref;
 
   * with hyperref, without option (it loads automatically the dvips
 driver with latex, and the pdftex driver with pdflatex);
 
   * with hyperref, with option specifying the driver to use
 (i.e. dvips for latex, or pdftex for pdflatex).
 
  In the table, I note correct when the word is hyphenated, and
  wrong when it is not.
 
  DVI (latex) PDF (pdflatex)
  --
  without hyperrefcorrect correct
  hyperref, no option wrong   wrong
  hyperref, with option   correct wrong
  --
 
  Note that the behavior is correct with hyperref when the dvips
  option is given while it is not with the implicit behavior.  This is
  because the dvips option redefines [EMAIL PROTECTED], while it is not
  the case when the default is used:
 
  [EMAIL PROTECTED]
[EMAIL PROTECTED]
[EMAIL PROTECTED]
[EMAIL PROTECTED]
  }

Thank you very much, Arnaud, this is indeed a bug and not intended.
It is fixed in the next version.

  This particular point may be a Debian (or teTex) specificity: with the
  upstream hyperref (as found on CTAN), the default driver is
  hypertex.

Because many want to generate PDF files, driver dvips is better.
Thus I introduced a possibility to change the default driver
by a configuration file (hyperref.cfg). Thus the default of
hyperref is still hypertex without pdfTeX and VTeX, but
if hyperref.cfg is used, there another driver can be specified.

Yours sincerely
  Heiko [EMAIL PROTECTED]



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

2005-02-02 Thread Arnaud Giersch
Mardi le 01 février 2005, vers 23:26:37 (CET), Prakash Countcham a
écrit:

 What is the difference? Is it possible to see the difference in a
 document that does not use this entcs.cls?

 The difference is the number of letters on the second line. I think it is
 possible to see the difference in a standard document, but I don't have time
 to find the correct margins, characters size, etc. to reproduce the same
 bug.

Hello,

Unfortunately, I am unable to reproduce the bug by using footnotes
with a standard document class.

After further investigations, it seems that the bug appears because
entcls.cls redefines footnotes to use \refstepcounter instead of
\stepcounter.

The following code exhibits a similar bug, using only standard article
class and \refstepcounter:

%%
\documentclass{article}

%\usepackage[pdftex]{hyperref}
%\usepackage[dvips]{hyperref}
%\usepackage{hyperref}

\newcounter{a}
\newlength{\La}
\newlength{\Lb}

\begin{document}

\setlength{\La}{\textwidth}
\addtolength{\La}{-\parindent}
\settowidth{\Lb}{ hyphen}
\addtolength{\La}{-\Lb}

\newcommand{\test}[1]{%
  \par\rule{\La}{1pt} #1 \rule{5em}{1pt}.}

\test{hyphenation}
\test{hyphenation\stepcounter{a}}
\test{hyphenation\refstepcounter{a}}

\end{document}
%%

In the third test the word hyphenation is not always hyphenated.  In
the following table, you can see the results for different cases:

 * without hyperref;

 * with hyperref, without option (it loads automatically the dvips
   driver with latex, and the pdftex driver with pdflatex);

 * with hyperref, with option specifying the driver to use
   (i.e. dvips for latex, or pdftex for pdflatex).

In the table, I note correct when the word is hyphenated, and
wrong when it is not.

DVI (latex) PDF (pdflatex)
--
without hyperrefcorrect correct
hyperref, no option wrong   wrong
hyperref, with option   correct wrong
--

Note that the behavior is correct with hyperref when the dvips
option is given while it is not with the implicit behavior.  This is
because the dvips option redefines [EMAIL PROTECTED], while it is not
the case when the default is used:

[EMAIL PROTECTED]
  [EMAIL PROTECTED]
  [EMAIL PROTECTED]
  [EMAIL PROTECTED]
}

This particular point may be a Debian (or teTex) specificity: with the
upstream hyperref (as found on CTAN), the default driver is
hypertex.

It is this different behavior with or without [EMAIL PROTECTED] that made
me try to modify this macro.


 Furthermore, the bug disappears if we just remove the package hyperref from
 entcs.cls .

It disappears too if you modify (or comment) the redefinitions of
\footnote and \footnotemark in entcs.cls.


 Arnaud Giersch, in message [EMAIL PROTECTED], found
 that it was a bug of hyperref and proposed the following patch for the

 Why do you think that inserting an italic correction here makes a
 difference between latex and pdflatex? 

 I don't really understand it, but Donald Arseneau suggested that in 
 http://groups.google.fr/groups?threadm=c1.2b8.2K1LTn%2409i%40ag.rhein-main.de

I do not fully understand myself why an italic correction does the
trick.  I suggested this patch by simply following the advice given by
Donal Arseneau.

After some thinking, I do not even know if the patch is good enough or
if it breaks things elsewhere.  :-(

About this old c.t.t. thread, the following comment, found in
hyperref.dtx, suggests that the bug talked about if already fixed.  I
however did not find the relevant Changelog entry.

%Redefine [EMAIL PROTECTED], borrowing its code (at the
%cost of getting out of sync with latex.ltx), to take
%advantage of its white space and hyphenation fudges. If we just
%overload it, we can get variant documents (the word before the
%footnote is treated differently). Thanks to David Carlisle and
%Brian Ripley for confusing and helping me on this.


Regards,
-- 
Arnaud



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

2005-02-02 Thread Frank Küster
tags 293183 fixed-upstream fixed-in-experimental
thanks

Heiko Oberdiek [EMAIL PROTECTED] schrieb:

 In all three versions is is at the end of the second line.
 Thus I cannot reproduce the problem.

Yes, it seems to exist only in the versions in tetex-2.0.2. With
tetex-2.99.9, all is well.

Regards, Frank

-- 
Frank Küster
Inst. f. Biochemie der Univ. Zürich
Debian Developer




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

2005-02-01 Thread Prakash Countcham
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.26Package maintenance system for Deb
ii  gsfonts   8.14+v8.11-0.1 Fonts for the Ghostscript interpre
ii  tetex-base2.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}}%


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

2005-02-01 Thread Prakash Countcham
Frank Küster [EMAIL PROTECTED] writes:

 What is the difference? Is it possible to see the difference in a
 document that does not use this entcs.cls?

The difference is the number of letters on the second line. I think it is
possible to see the difference in a standard document, but I don't have time
to find the correct margins, characters size, etc. to reproduce the same
bug.

Furthermore, the bug disappears if we just remove the package hyperref from
entcs.cls .

 Arnaud Giersch, in message [EMAIL PROTECTED], found
 that it was a bug of hyperref and proposed the following patch for the

 Why do you think that inserting an italic correction here makes a
 difference between latex and pdflatex? 

I don't really understand it, but Donald Arseneau suggested that in 
http://groups.google.fr/groups?threadm=c1.2b8.2K1LTn%2409i%40ag.rhein-main.de

I put Arnaud Giersch in cc. He would give more detailed explanations than me
about his modification. But the fact is that pdflatex produce the correct
result after the modification.

-- 
Prakash