DataMuseum.dk

top - metrics - download

    Length: 2212 (0x8a4)
    Types: TextFile
    Notes: Uncompressed file

└─⟦060c9c824⟧ Bits:30007080 DKUUG TeX 2/12/89
    └─⟦b350311d7⟧ »./tex82/TeXdoc/amstex/amsman.hdr.Z« 
        └─⟦this⟧ 

TextFile

\input amstex
\documentstyle{amsppt}
\hsize 6.5in
\vsize 8.9in

\def\tex{\TeX} \def\amstex{\AmSTeX}
\def\CR{$\langle$carriage-return$\rangle$}
\def\tab{{\smc tab}}
\def\<{$\langle$} \def\>{$\rangle$}
\catcode`\@=11
\catcode`\*=13

\outer\def\heading{\bigbreak\bgroup\let\\=\cr
\global\setbox\headingbox@AmS=\vbox\bgroup\tabskip0pt\filhss@AmS
   \halign to \hsize\bgroup\tenpoint\smc\hfil\ignorespaces
            ##\unskip\hfil\cr}

\def\endheading{\cr\egroup\egroup\egroup\unvbox\headingbox@AmS
    \penalty10000 \def\filhss@AmS{plus 1000pt}\bigskip}

\def\oldsubheading#1{\smallbreak\noindent{\tenpoint\bf\ignorespaces
   #1\unskip.\ }\ignorespaces}
\outer\def\subheading#1{\oldsubheading{#1}\immediate\write16{#1}}

\let\lb=\bgroup  \let\rb=\egroup

\def\star{\char'052 }

\def\literalcatcodes{\catcode`\"=0 \catcode`\\=12 \catcode`\{=12 \catcode`\}=12
 \catcode`\$=12 \catcode `\&=12 \catcode`\#=12 \catcode`\^=12 \catcode`\_=12
 \catcode`\@=12 \catcode `\~=12
 \catcode` =13  \def\"{\char'042}\def\star{\char'052 }%
 \def\0{}\def\<{$\langle$}\def\>{$\rangle$}%
 \def\space{\char'040 }%
 \catcode`\%=12 \moreliteralcatcodes}

\def\ttspace{\hbox to 5pt{}}

{\catcode` =13    % don't change anything in these two lines!!
\gdef\moreliteralcatcodes{\def {\penalty0\relax\ttspace}}}

\def*{\begingroup\literalcatcodes\dostar}

\def\dostar{\futurelet\token\Dostar}

% The \futurelet must be done after the \literalcatcodes so that the token
% has the right catcode!

\def\Dostar{\ifx *\token \def\next##1{\starii}\else
      \def\next{\tentt\stari}\fi\next}

\def\stari#1*{#1\endgroup}

{\catcode`\^^M=13 \gdef\letm{\let^^M=\cr}}

\def\starii{\endgroup\stariii}

\def\stariii{$$\begingroup\catcode`\^^M=13  \literalcatcodes\tentt\letm
   \vbox\lb\halign\lb##\cr\stariv }

{\catcode`\^^M=13 \gdef\stariv#1^^M#2^^M**{#2\cr\rb\rb\endgroup\starv}  }
{\catcode`\^^M=13 \gdef\starvi#1^^M#2^^M**{#2\cr\rb\rb\endgroup}  }

\def\starv{$$}


\def\Setbox#1=**{\begingroup\catcode`\^^M=13 \literalcatcodes\tentt\letm
 \global\setbox#1=\vbox\lb\halign\lb##\cr\starvi}


\def\example{\def\\{\cr}\halign\lb\hskip 20pt##\hfill&\hskip20pt##\hfill\cr}
\def\endexample{\cr\rb}

\font\eighttt=amtt8
\def\bs{\char'134}
\catcode`\@=13