% ===================================================================== %
% Standard titlepage for sets library                                   %
% ===================================================================== %

\begin{titlepage}

\setcounter{page}{1}                      % titlepage IS page 1 !

% --------------------------------------------------------------------- %
% Name of the library.                                                  %
% --------------------------------------------------------------------- %

\mbox{}
\vskip20mm
\begin{center}
{\Huge\bf {\tt mweb}: proof script management utilities}
\end{center}

% --------------------------------------------------------------------- %
% Name of the author                                                    %
% --------------------------------------------------------------------- %

\vskip15mm
\begin{center}
\large\bf W.\ Wong
\end{center}

% --------------------------------------------------------------------- %
% Address of the author                                                 %
% --------------------------------------------------------------------- %

\vfill
\begin{center}
\bf
University of Cambridge, Computer Laboratory\\
New Museums Site, Pembroke Street\\
Cambridge, {\small\bf CB}2 3{\small\bf QG}, England.
\end{center}

% --------------------------------------------------------------------- %
% Date.                                                                 %
% --------------------------------------------------------------------- %

\vskip5mm
\begin{center}
\bf February 1994
\end{center}

\end{titlepage}

% --------------------------------------------------------------------- %
% To kick a blank page with no header (back of title page is blank).    %
% --------------------------------------------------------------------- %
\thispagestyle{empty}
\vspace*{2cm}
\begin{center}
This document describes version 3.0 of \mweb.
\end{center}

% --------------------------------------------------------------------- %
% Copyright notice (if desired).                                        %
% --------------------------------------------------------------------- %
\vfill
\begin{flushleft}
Copyright \copyright\ W.\ Wong 1993, 1994. \\
\vspace{14pt}
Permission is granted to make and distribute verbatim copies of this
document provided the copyright notice and this permission notice are
preserved on all copies.
\end{flushleft}
\newpage

