proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Renamed file	David Aspinall	2000-09-28
\|
*	Fix Proof General web page to www.proofgeneral.org.	David Aspinall	2000-09-26
\|
*	Updates	David Aspinall	2000-09-14
\|
*	Minor updates	David Aspinall	2000-07-12
\|
*	Update link for Isamode to be on zermelo (careful)	David Aspinall	1999-12-01
\|
*	Fixed a broken link. Rephrased some bits.	David Aspinall	1999-11-18
\|
*	Mention Yves Bertot on about page	David Aspinall	1999-09-13
\|
*	Added gallery	David Aspinall	1999-08-27
\|
*	Tweaks	David Aspinall	1999-06-30
\|
*	Tweak	David Aspinall	1999-06-28
\|
*	Paraphrased some of the history.	David Aspinall	1999-06-28
\|
*	New web pages	David Aspinall	1999-06-24