author | nipkow |
Wed, 26 Aug 1998 16:57:49 +0200 | |
changeset 5375 | 1463e182c533 |
permissions | -rw-r--r-- |
nipkow@5375 | 1 |
\ProvidesPackage{ttbox}[1997/06/25] |
nipkow@5375 | 2 |
\RequirePackage{alltt} |
nipkow@5375 | 3 |
|
nipkow@5375 | 4 |
%%%Boxed terminal sessions |
nipkow@5375 | 5 |
|
nipkow@5375 | 6 |
%Redefines \{ and \} to be in \tt font and \| to make a BACKSLASH |
nipkow@5375 | 7 |
\def\ttbraces{\chardef\{=`\{\chardef\}=`\}\chardef\|=`\\} |
nipkow@5375 | 8 |
|
nipkow@5375 | 9 |
%Restores % as the comment character (especially, to suppress line breaks) |
nipkow@5375 | 10 |
\newcommand\comments{\catcode`\%=14\relax} |
nipkow@5375 | 11 |
|
nipkow@5375 | 12 |
%alltt* environment: like alltt but smaller, and with \{ \} and \| as in ttbox |
nipkow@5375 | 13 |
\newenvironment{alltt*}{\begin{alltt}\footnotesize\ttbraces}{\end{alltt}} |
nipkow@5375 | 14 |
|
nipkow@5375 | 15 |
%Indented alltt* environment with small point size |
nipkow@5375 | 16 |
%NO LINE BREAKS are allowed unless \pagebreak appears at START of a line |
nipkow@5375 | 17 |
\newenvironment{ttbox}{\begin{quote}\samepage\begin{alltt*}}% |
nipkow@5375 | 18 |
{\end{alltt*}\end{quote}} |
nipkow@5375 | 19 |
|
nipkow@5375 | 20 |
\endinput |