changeset 342 | 930b1308fd96 |
parent 339 | c588e8422737 |
child 347 | 01e71cddf6a3 |
--- a/ProgTutorial/document/root.tex Sun Oct 11 01:47:15 2009 +0200 +++ b/ProgTutorial/document/root.tex Sun Oct 11 16:30:59 2009 +0200 @@ -15,8 +15,8 @@ \usepackage{mathpartir} \usepackage{flafter} \usepackage{makeidx} +\usepackage{index} \usepackage{tocbibind} -\usepackage{index} \usepackage{pdfsetup}