proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Updated.	David Aspinall	2006-09-07
\|
*	Updated.	David Aspinall	2004-08-24
\|
*	Updated.	David Aspinall	2004-06-16
\|
*	Update to 4.5.1-beta from sourceforge.	David Aspinall	2003-09-24
\|
*	Updated.	David Aspinall	2003-09-22
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Update to 4.5 (pre?) version CW sent	David Aspinall	2003-03-01
\|
*	Renamed file	David Aspinall	2003-02-22