% macros for verbatim scanning
% im wesentlichen dem file MANHDR TEX von DEK entnommen
\catcode`@=11
\def\tt{\fam\ttfam\tentt}%
\newskip\ttglue  \ttglue=.5em plus .25em minus .15em
\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
 \catcode`\"=\other
 \parskip \z@
 \obeyspaces \obeylines \tt}

\def\begintt{$$\let\par=\endgraf \ttverbatim
 \catcode`\|=0 \rightskip-5pc \ttfinish}
{\catcode`\|=0 |catcode`|\=\other % | is temporary escape character
 |obeylines % end of line is active
 |gdef|ttfinish#1^^M#2\endtt{|vbox{#2}|endgroup$$}}

\catcode`\|=\active
{\obeylines \gdef|{\ttverbatim \spaceskip\ttglue \let^^M=\  \let|=\endgroup}}
%\def\ttspace{{\tt\hskip\ttglue}}

\def\vrt{\hbox{\tt\char`\|}} % vertical line
\def\dn{\hbox{\tt\char'14}} % downward arrow
\def\up{\hbox{\tt\char'13}} % upward arrow
\def\]{\hbox{\tt\char`\ }} % visible space

\catcode`@=12 % at signs are no longer letters
\def\verbatimon{\catcode`\|=\active}
\def\verbatimoff{\catcode`\|=\other}
\verbatimoff

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.