proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Emacs compatibility/API updates: string-to-int -> string-to-number	David Aspinall	2007-12-10
\|
*	Update to 0.4.8 from sourceforge.	David Aspinall	2006-09-22
\|
*	Renamed file	David Aspinall	2003-02-22
\|
*	Updated.	David Aspinall	2003-02-22
\|
*	Renamed file	David Aspinall	2003-02-19
\|
*	New files.	David Aspinall	2003-02-17
\|
*	New files.	David Aspinall	2003-02-17