--- a/ProgTutorial/document/root.tex	Tue Mar 31 16:50:13 2009 +0100
+++ b/ProgTutorial/document/root.tex	Tue Mar 31 20:31:18 2009 +0100
@@ -14,6 +14,7 @@
 \usepackage{framed}
 \usepackage{boxedminipage}
 \usepackage{mathpartir}
+\usepackage{flafter}
 \usepackage{pdfsetup}
 
 \urlstyle{rm}