retitle 673991 hypertex: too much vspace before theorem if previous line full thanks
On Tue, May 22, 2012 at 07:15:35PM +0200, Hilmar PreuÃe wrote: > On 22.05.12 Lionel Elie Mamane ([email protected]) wrote: >> Package: texlive-latex-base >> Version: 2009-11 >> Severity: normal > You love to open bugs for Debian stable, right? I open bugs for the version where I find the bug. > Please note that (...) if that problem would have been solved in > Debian sid we'd have closed that bug immediately. Yes, and I'd have been happy of that outcome. For lighter programs, I can test the sid version, but (La)TeX is so big with so many interdependencies that I can't switch from stable to sid and back reasonably easily. >> These URLs are 404s, so I minimised as well as I could on my own. > I tried to minimise further and I think I found a more minimalistic > example: Ah yes, indeed ntheorem is not necessary. Thanks for that. > Either commenting out \usepackage{fullpage} or > \usepackage[dvips]{hyperref} solves the problem. > So it might be in fullpage or hyperref. No, removing fullpage does not show the problem anymore because the previous line is not exactly full anymore; the one line becomes two lines (because of bigger margins) and thus the last line of the paragraph before the definition is not full. If one also removes/adds text so that the line is again exactly full, the problem shows up again. I attach a version without \usepackage{fullpage}. It seems to be purely a hyperref problem. -- Lionel
\documentclass[a4paper,12pt]{report}
\usepackage[dvips]{hyperref}
\newtheorem{definition}{Definition}[section]
\begin{document}
\chapter{Too much vspace}
The user interacts with a proof assistant via a proof script
in the folllowing.
\begin{definition}[proof script]
A \emph{proof script} is the sequence of instructions
a user gives a proof assistant to prove a statement.
\end{definition}
The user interacts with a proof assistant via a proof script
in the folllowing
\begin{definition}[proof script]
A \emph{proof script} is the sequence of instructions
a user gives a proof assistant to prove a statement.
\end{definition}
The user interacts with a proof assistant via a proof script
in the folllowing.
\begin{definition}[proof script]
A \emph{proof script} is the sequence of instructions
a user gives a proof assistant to prove a statement.
\end{definition}
The user interacts with a proof assistant via a proof script
in the folllowing
\begin{definition}[proof script]
A \emph{proof script} is the sequence of instructions
a user gives a proof assistant to prove a statement.
\end{definition}
\end{document}
bug.dvi
Description: TeX dvi file
