diff doc/manual.tex @ 1765:be114e170b77

Vector fonts in manual
author Vladimir Shabanov <vshabanoff@gmail.com>
date Thu, 17 May 2012 03:22:34 +0400
parents f69174d0abc0
children 53d56d87fbd2
line wrap: on
line diff
--- a/doc/manual.tex	Thu May 17 01:41:30 2012 +0400
+++ b/doc/manual.tex	Thu May 17 03:22:34 2012 +0400
@@ -1,6 +1,7 @@
 \documentclass{article}
 \usepackage{fullpage,amsmath,amssymb,proof,url}
 \usepackage[T1]{fontenc}
+\usepackage{ae,aecompl}
 \newcommand{\cd}[1]{\texttt{#1}}
 \newcommand{\mt}[1]{\mathsf{#1}}