\documentclass[11pt]{article}

\include{defs}

\setlength{\textwidth}{6in}
\setlength{\oddsidemargin}{0.25in}
\setlength{\evensidemargin}{0.25in}
\setlength{\parskip}{5pt}

\title{The Diderot Project}
\author{
  Gordon Kindlmann \\
  University of Chicago \\
  {\small\texttt{glk@cs.uchicago.edu}} \\
\and
  John Reppy \\
  University of Chicago \\
  {\small\texttt{jhr@cs.uchicago.edu}} \\
\and
  Lamont Samuels \\
  University of Chicago \\
  {\small\texttt{lamonts@cs.uchicago.edu}}
}
\date{\today}

\begin{document}

\maketitle
\thispagestyle{empty}

\input{intro}
\input{image}
\input{design}
\input{impl}

% comment out the following three lines to produce a
% version w/o the bibliography (but run Latex only once!)
\clearpage
\bibliographystyle{alpha} 
\bibliography{strings-long,manticore,refs,kindlmann}

\end{document}