% scsh-paper.t2p
% Dorai Sitaram
% Feb 6, 2000

% This file contains the tex2page macros needed to process
% the scsh LaTeX document scsh-n.n.n/doc/scsh-paper.tex.
% Copy (or link) this file alongside scsh-paper.tex and run
% tex2page scsh-paper

\input css.t2p
\dontuseimgforhtmlmath

\let\clearpage\relax
\let\cleardoublepage\relax
\let\pagebreak\relax

\let\PRIMsection\section

%\let\PRIMtableofcontents\tableofcontents
%\def\tableofcontents{\section*{Contents}\PRIMtableofcontents}

\def\notenum#1{\def\savenotenum{#1}}
\def\project#1{\def\saveproject{#1}}
%\let\PRIMtitle\title
%\def\title#1{\PRIMtitle{#1}\def\savetitle{#1}}
%\def\author#1{\def\saveauthor{#1}}
%\def\date#1{\def\savedate{#1}}

\def\maketitle{
\leftline{\sc massachusetts institute of technology}
\smallskip
\centerline{Laboratory for Computer Science}
\smallskip
\leftline{\saveproject\ Note \savenotenum\ \qquad \TIIPdate}
\hr
\subject{\TIIPtitle}
\smallskip
{\def\\{\egroup\break\bgroup}
\centerline{\bf\TIIPauthor}}
\smallskip
\bigskip
\bigskip}

\let\PRIMfigure\figure
\let\PRIMendfigure\endfigure

\def\figure{\par\hrule\PRIMfigure}
\def\endfigure{\PRIMendfigure\hrule\par}

\let\PRIMdocument\document

\def\document{\PRIMdocument
\def\headingquote#1#2{\eject
\rawhtml<div align=right><table ><tr><td><em>
\endrawhtml
#1
\rawhtml</em><br>\endrawhtml
~~~~~~---#2
\rawhtml</td></tr></table></div>\endrawhtml}

\def\section{\def\section{\vfill\eject\PRIMsection}%
\PRIMsection}

\let\ttchars\relax
\let\ttt\tt
\def\cd#1{{\tt\def\\{\char`\\}\defcsactive\${\char`\$}\defcsactive\&{\char`\&}#1}}
\def\cddollar{\undefcsactive\$}
\def\ex#1{{\tt #1}}
\def\l#1{lambda (#1)}
\def\lx#1{lambda {#1}}
\def\var#1{{\it #1\/}}
\def\vari#1#2{\mbox{{\it #1\/}\undefcsactive\$$_{#2}$}}

\renewcommand{\proto}[3]{{\tt(#1 {\it #2})} \qquad (#3)}

\def\setupcode{\tt%
\def\\{\char`\\}%
\defcsactive\${\$}%
\def\evalto{==> }%
\defcsactive\%{\%}\obeywhitespace}

\newenvironment{code}{\begin{quote}\bgroup\setupcode\GOBBLEOPTARG}
{\egroup\end{quote}}

\newenvironment{codebox}{\begin{tableplain}\bgroup\setupcode\GOBBLEOPTARG}
{\egroup\end{tableplain}}

\newenvironment{tightcode}{\begin{code}}{\end{code}}

\renewenvironment{inset}{\begin{quote}}{\end{quote}}
\renewenvironment{leftinset}{\begin{quote}}{\end{quote}}
\renewenvironment{tightinset}{\begin{quote}}{\end{quote}}
\newenvironment{tightleftinset}{\begin{quote}}{\end{quote}}

\renewenvironment{column}{\end{center}\bgroup\let\\\break}
{\egroup\begin{center}}
}