proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
*	Fix version	David Aspinall	2008-07-23
*	Updated.	David Aspinall	2008-01-31
*	Updated.	David Aspinall	2008-01-15
*	Updated.	David Aspinall	2007-12-13
*	Updated.	David Aspinall	2007-06-10
*	Update for 3.6	David Aspinall	2004-08-25
*	Updated.	David Aspinall	2004-04-16
*	Updated.	David Aspinall	2004-04-02
*	Update.	David Aspinall	2004-02-29
*	Update email and web addresses	David Aspinall	2004-02-08
*	Fix domain name	David Aspinall	2003-12-11
*	Updated.	David Aspinall	2003-03-03
*	Updated.	David Aspinall	2003-02-22
*	Contact in case of probs.	David Aspinall	2002-08-28
*	Updated	David Aspinall	2002-08-27
*	Updates	David Aspinall	2002-08-08
*	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