proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	GPL	David Aspinall	2002-06-21
\|
*	Fix numbering	David Aspinall	2002-01-11
\|
*	Date 2001	David Aspinall	2001-05-29
\|
*	Fix date	David Aspinall	2000-07-19
\|
*	Altered slightly to remove contentious phrase.	David Aspinall	1999-10-21
\|
*	Updated	David Aspinall	1999-08-24
\|
*	Updates for new web pages, todo list.	David Aspinall	1999-06-24
\|
*	Fixed bugs.	David Aspinall	1998-12-17
\|
*	Rough copyright notice cribbed from cwb	David Aspinall	1998-10-07