Mercurial > cpdt > repo

diff src/Intro.v @ 269:191a66cd7cb5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix PDF ToC generation; mention Set Implicit Arguments in StackMachine
author Adam Chlipala <adamc@hcoop.net>
date Wed, 03 Feb 2010 08:14:39 -0500
parents dce88a5c170c
children e7ed2fddd29a
line wrap: on
line diff
--- a/src/Intro.v	Wed Jan 27 07:40:03 2010 -0500
+++ b/src/Intro.v	Wed Feb 03 08:14:39 2010 -0500
@@ -9,6 +9,8 @@
 
 (** %\fi
 
+\usepackage{hyperref}
+
 \begin{document}
 
 \maketitle
@@ -33,6 +35,7 @@
 (** %\vfill\mbox{}
 \end{center}
 
+\phantomsection
 \tableofcontents
 
 \chapter{Introduction}% *)