Commit c75a1da7 authored by Adam Chlipala's avatar Adam Chlipala

Use lmodern LaTeX package for easier copying and pasting

parent 0bae18c1
\documentclass[12pt]{report} \documentclass[12pt]{report}
\usepackage[]{inputenc} \usepackage[]{inputenc}
\usepackage[T1]{fontenc} \usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{fullpage} \usepackage{fullpage}
\usepackage{coqdoc} \usepackage{coqdoc}
\usepackage{amsmath,amssymb} \usepackage{amsmath,amssymb}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment