proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Made background a bit lighter.	David Aspinall	1999-12-01
\|
*	New screenshots	David Aspinall	1999-11-30
\|
*	New screenshots.	David Aspinall	1999-11-30
\|
*	New screenshot	David Aspinall	1999-10-21
\|
*	New images for gallery	David Aspinall	1999-08-27
\|
*	general with whip	David Aspinall	1999-06-28
\|
*	New images	David Aspinall	1999-06-24