src/Pure/Tools/rail.ML
2014-02-17 wenzelm 2014-02-17 more markup;
2014-01-22 wenzelm 2014-01-22 prefer rail cartouche -- avoid back-slashed quotes; proper documentation of \<newline> syntax;
2014-01-17 wenzelm 2014-01-17 prefer user-space tool within Pure.thy;