
diff -r ef1da1abee46 -r 1fb8d62c88a0 ProgTutorial/document/root.tex
--- a/ProgTutorial/document/root.tex	Sat May 30 11:12:46 2009 +0200
+++ b/ProgTutorial/document/root.tex	Sat May 30 17:40:20 2009 +0200
@@ -31,6 +31,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % indexing
 \makeindex
+\newcommand{\indexdef}[2]{\index{#1 (#2)}}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % For cross references to the other manuals:




