proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	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