Mercurial > urweb

diff doc/manual.tex @ 1569:81d007609b1a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Oct 2011 10:12:20 -0400
parents 0fab80567fa3
children 34364e383bed
line wrap: on
line diff
--- a/doc/manual.tex	Thu Oct 06 09:50:40 2011 -0400
+++ b/doc/manual.tex	Thu Oct 06 10:12:20 2011 -0400
@@ -1,6 +1,6 @@
 \documentclass{article}
 \usepackage{fullpage,amsmath,amssymb,proof,url}
-
+\usepackage[T1]{fontenc}
 \newcommand{\cd}[1]{\texttt{#1}}
 \newcommand{\mt}[1]{\mathsf{#1}}