# HG changeset patch
# User wenzelm
# Date 1304449122 -7200
# Node ID e40648514b34254c3c1348f2e4a413ef686fcfd4
# Parent  8d53e7945078bd911ddeab1167796becedcad41e
final \makeatother -- catcodes appear to be global;

diff -r 8d53e7945078 -r e40648514b34 lib/texinputs/railsetup.sty
--- a/lib/texinputs/railsetup.sty	Tue May 03 18:47:22 2011 +0200
+++ b/lib/texinputs/railsetup.sty	Tue May 03 20:58:42 2011 +0200
@@ -1195,7 +1195,7 @@
 
 % default setup for Isabelle
 \newenvironment{railoutput}%
-{\begin{list}{}{\rail@param}\def\rail@expand{\relax}\makeatletter}{\end{list}}
+{\begin{list}{}{\rail@param}\def\rail@expand{\relax}\makeatletter}{\makeatother\end{list}}
 
 \def\rail@termfont{\isabellestyle{tt}}
 \def\rail@nontfont{\isabellestyle{it}}