changeset 468:62475ab7570b

Use lmodern LaTeX package for easier copying and pasting
author Adam Chlipala <adam@chlipala.net>
date Wed, 05 Sep 2012 15:22:13 -0400
parents b4dd18787d04
children b36876d4611e
files latex/cpdt.tex
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/latex/cpdt.tex	Sun Sep 02 10:27:51 2012 -0400
+++ b/latex/cpdt.tex	Wed Sep 05 15:22:13 2012 -0400
@@ -1,6 +1,7 @@
 \documentclass[12pt]{report}
 \usepackage[]{inputenc}
 \usepackage[T1]{fontenc}
+\usepackage{lmodern}
 \usepackage{fullpage}
 \usepackage{coqdoc}
 \usepackage{amsmath,amssymb}