# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1317910340 14400
# Node ID 81d007609b1a78edebc53c8ecdde83f6d90d98ec
# Parent  5691ec3106188722c8c345554aa3b84bdfc884a5# Parent  0fab80567fa30b10d99ed7afbb8517e393ec2b2e
Merge

diff -r 5691ec310618 -r 81d007609b1a doc/manual.tex
--- 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}}