obsolete;
authorwenzelm
Mon, 02 May 2011 22:06:49 +0200
changeset 42635 578f8091b70b
parent 42634 79eedd233e03
child 42636 41dff1b862bf
obsolete;
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}}