X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=doc%2Fmanual.tex;h=91b3db0e640350069e72873fcb5e4f0770fc0e4d;hb=80d1f461abbbbef01f56c6e77cc02d876c96cf4e;hp=e9c594f19bec411b1aacc59cf407d91a72367d59;hpb=94a70c9c2ad985d9e55499c8759fdce7ca668670;p=platform%2Fupstream%2Fisl.git

diff --git a/doc/manual.tex b/doc/manual.tex
index e9c594f..91b3db0 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -7,12 +7,23 @@
 \usepackage{aliascnt}
 \usepackage{tikz}
 \usepackage{calc}
+\usepackage[ruled]{algorithm2e}
+\usetikzlibrary{matrix,fit,backgrounds,decorations.pathmorphing,positioning}
+\usepackage{listings}
+
+\lstset{basicstyle=\tt,flexiblecolumns=false}
 
 \def\vec#1{\mathchoice{\mbox{\boldmath$\displaystyle\bf#1$}}
 {\mbox{\boldmath$\textstyle\bf#1$}}
 {\mbox{\boldmath$\scriptstyle\bf#1$}}
 {\mbox{\boldmath$\scriptscriptstyle\bf#1$}}}
 
+\providecommand{\fract}[1]{\left\{#1\right\}}
+\providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
+\providecommand{\ceil}[1]{\left\lceil#1\right\rceil}
+\def\sp#1#2{\langle #1, #2 \rangle}
+\def\spv#1#2{\langle\vec #1,\vec #2\rangle}
+
 \newtheorem{theorem}{Theorem}
 \newaliascnt{example}{theorem}
 \newtheorem{example}[example]{Example}
@@ -24,7 +35,10 @@
 \numberwithin{def}{section}
 \numberwithin{example}{section}
 
+\newcommand{\algocflineautorefname}{Algorithm}
 \newcommand{\exampleautorefname}{Example}
+\newcommand{\lstnumberautorefname}{Line}
+\renewcommand{\sectionautorefname}{Section}
 \renewcommand{\subsectionautorefname}{Section}
 
 \def\Z{\mathbb{Z}}
@@ -34,12 +48,14 @@
 \def\domain{\mathop{\rm dom}\nolimits}
 \def\range{\mathop{\rm ran}\nolimits}
 \def\identity{\mathop{\rm Id}\nolimits}
+\def\diff{\mathop{\Delta}\nolimits}
 
 \providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
 
 \begin{document}
 
-\title{Integer Set Library: Manual}
+\title{Integer Set Library: Manual\\
+\small Version: \input{version} }
 \author{Sven Verdoolaege}
 
 \maketitle