V10/cmd/sml/doc/mips/verbatim.tex
% The following are copied from manmac.tex and are taken from p421 of
% the TeXbook ... modified to \verbatim...\endverbatim
% macros for verbatim scanning
\chardef\other=12
\def\ttverbatim{\begingroup
\catcode`\\=\other
\catcode`\{=\other
\catcode`\}=\other
\catcode`\$=\other
\catcode`\&=\other
\catcode`\#=\other
\catcode`\%=\other
\catcode`\~=\other
\catcode`\_=\other
\catcode`\^=\other
\obeyspaces \obeylines \tt}
{\obeyspaces\global\let =\ } % from texbook, p 381
\outer\def\verbatim{$$\let\par=\endgraf \ttverbatim \parskip=0pt
\rightskip-5pc \ttfinish}
{\catcode`\|=0 |catcode`|\=\other % | is temporary escape character
|obeylines % end of line is active
|gdef|ttfinish#1^^M#2\endverbatim{#1|vbox{#2}|endgroup$$}}
% end of manmac stuff