proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Web addr note	David Aspinall	2000-06-15
\|
*	New/updated information files	David Aspinall	2000-03-13
\|
*	Canonical web site mentioned.	David Aspinall	2000-03-09
\|
*	Next version will be 3.0 cvs update	David Aspinall	1999-10-06
\|
*	Mentioned zermelo as temporary server	David Aspinall	1999-08-20
\|
*	Date change	David Aspinall	1999-08-19
\|
*	Updates for new web pages, todo list.	David Aspinall	1999-06-24
\|
*	Updated	David Aspinall	1998-11-25
\|
*	Note about COPYING.	David Aspinall	1998-10-07
\|
*	Top-level README for distribution.	David Aspinall	1998-10-02