
diff -r a9eb69749c93 -r 1dc03eaa7cb9 ProgTutorial/document/root.tex
--- a/ProgTutorial/document/root.tex	Mon Mar 30 17:40:20 2009 +0200
+++ b/ProgTutorial/document/root.tex	Wed Apr 01 12:28:14 2009 +0100
@@ -14,6 +14,7 @@
 \usepackage{framed}
 \usepackage{boxedminipage}
 \usepackage{mathpartir}
+\usepackage{flafter}
 \usepackage{pdfsetup}
 
 \urlstyle{rm}




