isabelle: doc-src/railsetup.sty@3a9723fca75c (annotated)

32234 96345b918125 added rail antiquotation environment, which coexists with old-style content markup; wenzelm parents: 13048 diff changeset	1	%% dimensions
7137 e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	2
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	3	\setlength\railextra{3.6ex}
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	4	\setlength\railboxleft{0.9ex}
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	5	\setlength\railboxright{0.9ex}
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	6	\setlength\railovalspace{1.8ex}
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	7	\setlength\railframespace{1.8ex}
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	8	\setlength\railtextleft{0.9ex}
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	9	\setlength\railtextright{0.9ex}
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	10	\setlength\railnamesep{0.9ex}
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	11
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	12	\setlength\railboxheight{16pt}
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	13	\setlength\railboxskip{24pt}
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	14	\setlength\railtextup{5pt}
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	15	\setlength\railjoinsize{16pt}
e5d18fd42430 hacking the rail package; wenzelm parents: diff changeset	16
32234 96345b918125 added rail antiquotation environment, which coexists with old-style content markup; wenzelm parents: 13048 diff changeset	17
96345b918125 added rail antiquotation environment, which coexists with old-style content markup; wenzelm parents: 13048 diff changeset	18	%% rail antiquotation environment
96345b918125 added rail antiquotation environment, which coexists with old-style content markup; wenzelm parents: 13048 diff changeset	19
96345b918125 added rail antiquotation environment, which coexists with old-style content markup; wenzelm parents: 13048 diff changeset	20	\newenvironment{railoutput}%
96345b918125 added rail antiquotation environment, which coexists with old-style content markup; wenzelm parents: 13048 diff changeset	21	{\begin{list}{}{\rail@param}\def\rail@expand{\relax}\makeatletter}{\end{list}}
96345b918125 added rail antiquotation environment, which coexists with old-style content markup; wenzelm parents: 13048 diff changeset	22
96345b918125 added rail antiquotation environment, which coexists with old-style content markup; wenzelm parents: 13048 diff changeset	23
42620 3a9723fca75c eliminated obsolete rail macros; wenzelm parents: 42515 diff changeset	24	%% content markup
32234 96345b918125 added rail antiquotation environment, which coexists with old-style content markup; wenzelm parents: 13048 diff changeset	25
42515 3f8d7f80173b default rail fonts via isabellestyle; wenzelm parents: 32234 diff changeset	26	\def\rail@termfont{\small\ttfamily\upshape\isabellestyle{tt}}
3f8d7f80173b default rail fonts via isabellestyle; wenzelm parents: 32234 diff changeset	27	\def\rail@nontfont{\small\rmfamily\upshape\isabellestyle{it}}
3f8d7f80173b default rail fonts via isabellestyle; wenzelm parents: 32234 diff changeset	28	\def\rail@namefont{\small\rmfamily\itshape\isabellestyle{it}}
42620 3a9723fca75c eliminated obsolete rail macros; wenzelm parents: 42515 diff changeset	29

author	wenzelm
	Mon, 02 May 2011 17:28:09 +0200
changeset 42620	3a9723fca75c
parent 42515	3f8d7f80173b
child 42621	51bf5e365be9
permissions	-rw-r--r--