--- 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}