author | Walther Neuper <neuper@ist.tugraz.at> |
Thu, 12 Aug 2010 15:03:34 +0200 | |
branch | isac-from-Isabelle2009-2 |
changeset 37913 | 20e3616b2d9c |
parent 32241 | 96345b918125 |
child 43386 | 3f8d7f80173b |
permissions | -rw-r--r-- |
wenzelm@32241 | 1 |
%% dimensions |
wenzelm@7137 | 2 |
|
wenzelm@7137 | 3 |
\setlength\railextra{3.6ex} |
wenzelm@7137 | 4 |
\setlength\railboxleft{0.9ex} |
wenzelm@7137 | 5 |
\setlength\railboxright{0.9ex} |
wenzelm@7137 | 6 |
\setlength\railovalspace{1.8ex} |
wenzelm@7137 | 7 |
\setlength\railframespace{1.8ex} |
wenzelm@7137 | 8 |
\setlength\railtextleft{0.9ex} |
wenzelm@7137 | 9 |
\setlength\railtextright{0.9ex} |
wenzelm@7137 | 10 |
\setlength\railnamesep{0.9ex} |
wenzelm@7137 | 11 |
|
wenzelm@7137 | 12 |
\setlength\railboxheight{16pt} |
wenzelm@7137 | 13 |
\setlength\railboxskip{24pt} |
wenzelm@7137 | 14 |
\setlength\railtextup{5pt} |
wenzelm@7137 | 15 |
\setlength\railjoinsize{16pt} |
wenzelm@7137 | 16 |
|
wenzelm@32241 | 17 |
|
wenzelm@32241 | 18 |
%% rail antiquotation environment |
wenzelm@32241 | 19 |
|
wenzelm@32241 | 20 |
\newenvironment{railoutput}% |
wenzelm@32241 | 21 |
{\begin{list}{}{\rail@param}\def\rail@expand{\relax}\makeatletter}{\end{list}} |
wenzelm@32241 | 22 |
|
wenzelm@32241 | 23 |
|
wenzelm@32241 | 24 |
%% old-style content markup |
wenzelm@32241 | 25 |
|
wenzelm@32241 | 26 |
\railalias{percent}{\%} |
wenzelm@32241 | 27 |
\railalias{ppercent}{\%\%} |
wenzelm@32241 | 28 |
\railalias{underscore}{\_} |
wenzelm@32241 | 29 |
\railalias{lbrace}{\texttt{\ttlbrace}} |
wenzelm@32241 | 30 |
\railalias{rbrace}{\texttt{\ttrbrace}} |
wenzelm@32241 | 31 |
\railalias{atsign}{{\at}} |
wenzelm@32241 | 32 |
|
wenzelm@7137 | 33 |
\def\rail@termfont{\small\ttfamily\upshape} |
wenzelm@8592 | 34 |
\def\rail@tokenfont{\small\ttfamily\upshape} |
wenzelm@7137 | 35 |
\def\rail@nontfont{\small\rmfamily\upshape} |
wenzelm@7137 | 36 |
\def\rail@annofont{\small\rmfamily\itshape} |
wenzelm@7137 | 37 |
\def\rail@namefont{\small\rmfamily\itshape} |
wenzelm@7137 | 38 |
\def\rail@indexfont{\small\rmfamily\itshape} |
wenzelm@8592 | 39 |
\newcommand{\railtterm}[1]{{\texttt{#1}}} |
wenzelm@13048 | 40 |
\newcommand{\railtok}[1]{{\textrm{#1}}} |
wenzelm@13048 | 41 |
\newcommand{\railqtok}[1]{{\rmfamily\textsl{#1}}} |
wenzelm@7137 | 42 |
\newcommand{\railnonterm}[1]{{\emph{#1}}} |