X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=doc%2Fmanual.tex;h=91b3db0e640350069e72873fcb5e4f0770fc0e4d;hb=9828879b21081b7a4eddfd6522ec96c424687db0;hp=eae014e810aa6df25d48a58a8b1bf0846f8a51cc;hpb=88e08a163e4032c1a673ac770223fd98f2cd05da;p=platform%2Fupstream%2Fisl.git

diff --git a/doc/manual.tex b/doc/manual.tex
index eae014e..91b3db0 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -8,12 +8,22 @@
 \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}