--- a/src/Pure/IsaMakefile Sat Apr 30 18:16:40 2011 +0200
+++ b/src/Pure/IsaMakefile Sat Apr 30 19:50:39 2011 +0200
@@ -196,6 +196,7 @@
Thy/html.ML \
Thy/latex.ML \
Thy/present.ML \
+ Thy/rail.ML \
Thy/term_style.ML \
Thy/thm_deps.ML \
Thy/thy_header.ML \