Mercurial > cpdt > repo

comparison latex/cpdt.tex @ 468:62475ab7570b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
467:b4dd18787d04 468:62475ab7570b
1 \documentclass[12pt]{report} 1 \documentclass[12pt]{report}
2 \usepackage[]{inputenc} 2 \usepackage[]{inputenc}
3 \usepackage[T1]{fontenc} 3 \usepackage[T1]{fontenc}
4 \usepackage{lmodern}
4 \usepackage{fullpage} 5 \usepackage{fullpage}
5 \usepackage{coqdoc} 6 \usepackage{coqdoc}
6 \usepackage{amsmath,amssymb} 7 \usepackage{amsmath,amssymb}
7 \usepackage{url} 8 \usepackage{url}
8 \usepackage{makeidx,hyperref} 9 \usepackage{makeidx,hyperref}