comparison doc/manual.tex @ 1569:81d007609b1a

Merge
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Oct 2011 10:12:20 -0400
parents 0fab80567fa3
children 34364e383bed
comparison
equal deleted inserted replaced
1567:5691ec310618 1569:81d007609b1a
1 \documentclass{article} 1 \documentclass{article}
2 \usepackage{fullpage,amsmath,amssymb,proof,url} 2 \usepackage{fullpage,amsmath,amssymb,proof,url}
3 3 \usepackage[T1]{fontenc}
4 \newcommand{\cd}[1]{\texttt{#1}} 4 \newcommand{\cd}[1]{\texttt{#1}}
5 \newcommand{\mt}[1]{\mathsf{#1}} 5 \newcommand{\mt}[1]{\mathsf{#1}}
6 6
7 \newcommand{\rc}{+ \hspace{-.075in} + \;} 7 \newcommand{\rc}{+ \hspace{-.075in} + \;}
8 \newcommand{\rcut}{\; \texttt{--} \;} 8 \newcommand{\rcut}{\; \texttt{--} \;}