changeset 1569:81d007609b1a

Merge
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Oct 2011 10:12:20 -0400 (2011-10-06)
parents 5691ec310618 0fab80567fa3
children c7d0328ba777
files
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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}}