proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Tweaks for 2.1 release	David Aspinall	1999-08-20
\|
*	Mention mailing list	David Aspinall	1999-08-17
\|
*	Tweaks and validation fixes.	David Aspinall	1999-07-03
\|
*	Simple hit counter	David Aspinall	1999-06-30
\|
*	Link for printing download is just .ps.gz now.	David Aspinall	1999-06-28
\|
*	New web pages	David Aspinall	1999-06-24