
diff -r 3bc732c9f7ff -r c588e8422737 ProgTutorial/document/root.tex
--- a/ProgTutorial/document/root.tex	Sat Oct 10 15:16:44 2009 +0200
+++ b/ProgTutorial/document/root.tex	Sat Oct 10 18:25:43 2009 +0200
@@ -16,8 +16,10 @@
 \usepackage{flafter}
 \usepackage{makeidx}
 \usepackage{tocbibind}
+\usepackage{index}
 \usepackage{pdfsetup}
 
+
 \urlstyle{rm}
 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text
 \renewcommand{\isastyleminor}{\tt\slshape}%




