
%\nocite{*}

\thispagestyle{plain}

% the bibliography has to be single-spaced within items but
% double-spaced between items

\let\oldthebibliography=\thebibliography
\let\endoldthebibliography=\endthebibliography
\renewenvironment{thebibliography}[1]{
  \begin{oldthebibliography}{#1}
    \setlength{\itemsep}{3ex}
  }{
    \end{oldthebibliography}
  }

\bibliographystyle{abbrv}
\bibliography{biblio}

% ----------------------------------------------------------------

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "main"
%%% End: 

% ----------------------------------------------------------------
