\doc{News}
\ref{news}

\head{2}{April 27, 1995}

An updated release, \dlink{release3_1a}{Version 3.1a}, of LP is now available.
This release fixes some bugs in Version 3.1.


\head{2}{December 30, 1994}

A major new release, Version 3.1, of LP is now available.  For more
information, see
\begin{itemize}
\item 
\dlink{features3_1}{Features} added in Release 3.1
\item 
\dlink{changes3_1}{Changes} required in old proof scripts for use with
Release 3.1
\item
\dlink{../overview}{LP user manual}
\item
\dlink{distribution}{Getting} LP
\end{itemize}

