--- 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: