proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update version	David Aspinall	2002-06-30
\|
*	Rearrange list of assistants, note REGISTER.	David Aspinall	2001-08-10
\|
*	Update for 3.3	David Aspinall	2001-08-01
\|
*	af2 is now called PhoX	Christophe Raffalli	2000-12-01
\|
*	af2 is now called PhoX	Christophe Raffalli	2000-12-01
\|
*	Fix date	David Aspinall	2000-09-28
\|
*	Updated, mention PG Kit.	David Aspinall	2000-09-27
\|
*	Fix Proof General web page to www.proofgeneral.org.	David Aspinall	2000-09-26
\|
*	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