proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Already shrunken general for buggy browsers benefit.	David Aspinall	2000-09-27
\|
*	Add prover-specific logo rather than generic ones...	David Aspinall	2000-09-23
\|
*	Image of the general with ??? badge	David Aspinall	2000-09-23
\|
*	Shrunk a bit	David Aspinall	2000-09-14
\|
*	Reduced sizes of images.	David Aspinall	2000-09-13
\|
*	Ignore file for xvpics put there by gimp	David Aspinall	2000-07-04
\|
*	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