diff latex/cpdt.tex @ 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 e2c88317611f
children 40a9a36844d6
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}