# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1346872933 14400
# Node ID 62475ab7570b13b3d93ab782378a1f9ebe29efcf
# Parent  b4dd18787d04bfdfe0776dfc381fd0133924b141
Use lmodern LaTeX package for easier copying and pasting

diff -r b4dd18787d04 -r 62475ab7570b latex/cpdt.tex
--- 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}