Mercurial > cpdt > repo

comparison 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
comparison
equal deleted inserted replaced
268:f3223bde5c87 269:191a66cd7cb5
7 * http://creativecommons.org/licenses/by-nc-nd/3.0/ 7 * http://creativecommons.org/licenses/by-nc-nd/3.0/
8 *) 8 *)
9 9
10 (** %\fi 10 (** %\fi
11 11
12 \usepackage{hyperref}
13
12 \begin{document} 14 \begin{document}
13 15
14 \maketitle 16 \maketitle
15 17
16 \thispagestyle{empty} 18 \thispagestyle{empty}
31 *) 33 *)
32 34
33 (** %\vfill\mbox{} 35 (** %\vfill\mbox{}
34 \end{center} 36 \end{center}
35 37
38 \phantomsection
36 \tableofcontents 39 \tableofcontents
37 40
38 \chapter{Introduction}% *) 41 \chapter{Introduction}% *)
39 42
40 43