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 (lio...@mamane.lu) 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
