# HG changeset patch
# User Vladimir Shabanov <vshabanoff@gmail.com>
# Date 1337210554 -14400
# Node ID be114e170b77724f343faf881b6c9ea2390e98ee
# Parent  e8c668e518fb18cf16aacd880244220daac7f353
Vector fonts in manual

diff -r e8c668e518fb -r be114e170b77 doc/manual.tex
--- 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}}