
diff -r de49d5780f57 -r 74f0a06f751f ProgTutorial/document/root.tex
--- a/ProgTutorial/document/root.tex	Thu Aug 20 14:19:39 2009 +0200
+++ b/ProgTutorial/document/root.tex	Thu Aug 20 22:30:20 2009 +0200
@@ -27,7 +27,6 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % indexing
 \makeindex
-\newcommand{\indexdef}[2]{\index{#1 (#2)}}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % For cross references to the other manuals:




