
wenzelm@9692: \ProvidesPackage{ttbox}[1997/06/25]
wenzelm@9692: \RequirePackage{alltt}
wenzelm@9692: 
wenzelm@9692: %%%Boxed terminal sessions
wenzelm@9692: 
wenzelm@9692: %Redefines \{ and \} to be in \tt font and \| to make a BACKSLASH
wenzelm@9692: \def\ttbraces{\chardef\{=`\{\chardef\}=`\}\chardef\|=`\\}
wenzelm@9692: 
wenzelm@9692: %Restores % as the comment character (especially, to suppress line breaks)
wenzelm@9692: \newcommand\comments{\catcode`\%=14\relax}
wenzelm@9692: 
wenzelm@9692: %alltt* environment: like alltt but smaller, and with \{ \} and \| as in ttbox
wenzelm@9692: \newenvironment{alltt*}{\begin{alltt}\footnotesize\ttbraces}{\end{alltt}}
wenzelm@9692: 
wenzelm@9692: %Indented alltt* environment with small point size
wenzelm@9692: %NO LINE BREAKS are allowed unless \pagebreak appears at START of a line
wenzelm@9692: \newenvironment{ttbox}{\begin{quote}\samepage\begin{alltt*}}%
wenzelm@9692:                       {\end{alltt*}\end{quote}}
wenzelm@9692: 
wenzelm@9692: {\obeylines\gdef\ttbreak
wenzelm@9692: {\allowbreak}}
wenzelm@9692: 
wenzelm@9692: %%%% more \tt things
wenzelm@9692: 
wenzelm@9692: \def\ttdescriptionlabel#1{\hspace\labelsep \tt #1}
wenzelm@9692: \def\ttdescription{\list{}{\labelwidth\z@ \itemindent-\leftmargin
wenzelm@9692:        \let\makelabel\ttdescriptionlabel}}
wenzelm@9692: 
wenzelm@9692: \let\endttdescription\endlist
wenzelm@9692: 
wenzelm@9692: \chardef\ttilde=`\~     % A tilde for \tt font
wenzelm@9692: \chardef\ttback=`\\     % A backslash for \tt font
wenzelm@9692: \chardef\ttlbrace=`\{   % A left brace for \tt font
wenzelm@9692: \chardef\ttrbrace=`\}   % A right brace for \tt font
berghofe@11620: \chardef\ttlbrack=`\[   % A left bracket for \tt font
berghofe@11620: \chardef\ttrbrack=`\]   % A right bracket for \tt font
wenzelm@9692: 
wenzelm@9692: \newcommand\out{\ \ttfamily\slshape}   %% for output from terminal sessions
wenzelm@9692: 
wenzelm@9692: \endinput




