LP, the Larch Prover -- News
January 28, 1999
An updated release, Version 3.1b, of LP is now available.
This release fixes some bugs in Version 3.1a and adds some new features.
April 27, 1995
An updated release, Version 3.1a, of LP is now available.
This release fixes some bugs in Version 3.1.
December 30, 1994
A major new release, Version 3.1, of LP is now available. For more
information, see