diff -r 7ac5e5c86c7d -r 7a6b87adebc8 Slides/document/root.tex --- a/Slides/document/root.tex Wed Apr 13 13:41:52 2011 +0100 +++ b/Slides/document/root.tex Wed Apr 13 13:44:25 2011 +0100 @@ -19,6 +19,7 @@ \usetikzlibrary{automata} \usetikzlibrary{shapes} \usetikzlibrary{shadows} +\usetikzlibrary{positioning} %%%\usetikzlibrary{mindmap} \usepackage{graphicx}