verbatim

Matthew Fluet fluet@CS.Cornell.EDU
Mon, 12 Mar 2001 18:29:51 -0500 (EST)


What do you think about the following (requires the verbatim package):

\newcommand{\zzTop}{\vspace{-2\parskip}}
\newcommand{\zzBot}{\vspace{-1\parskip}}
\newenvironment{tightverbatim}
               {\zzTop\verbatim}
               {\endverbatim\zzBot}

I'm also thinking about putting a -1\parskip between theorems and proofs.