--- a/ProgTutorial/document/root.tex	Sun Aug 02 08:44:41 2009 +0200
+++ b/ProgTutorial/document/root.tex	Mon Aug 03 13:53:04 2009 +0200
@@ -6,7 +6,6 @@
 \usepackage{charter}
 \usepackage[pdftex]{graphicx}
 \usepackage{proof}
-\usepackage{rail}
 \usepackage{url}
 \usepackage[a4paper,hscale=0.67,vscale=0.76]{geometry}
 \usepackage{lineno}