# HG changeset patch
# User wenzelm
# Date 1304366809 -7200
# Node ID 578f8091b70bef2000d479dc1b4f95c8e9f93dc1
# Parent  79eedd233e0346b3b4fac39d104ea2808ddbbeab
obsolete;

diff -r 79eedd233e03 -r 578f8091b70b doc-src/railsetup.sty
--- a/doc-src/railsetup.sty	Mon May 02 22:05:47 2011 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-%% rail antiquotation environment
-\newenvironment{railoutput}%
-{\begin{list}{}{\rail@param}\def\rail@expand{\relax}\makeatletter}{\end{list}}
-
-%% content markup
-\def\rail@termfont{\isabellestyle{tt}}
-\def\rail@nontfont{\isabellestyle{it}}
-\def\rail@namefont{\isabellestyle{it}}