proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Deleted file	David Aspinall	2007-12-11
\|
*	Remove obsolete xbms	David Aspinall	2000-09-23
\|
*	Add new button	David Aspinall	2000-09-20
\|
*	Added goto button.	David Aspinall	1999-11-19
\|
*	Added interrupt button.	David Aspinall	1999-10-01
\|
*	Updated with new buttons	David Aspinall	1999-09-22
\|
*	Updated for gimp 1.1.9	David Aspinall	1999-09-13
\|
*	Updated	David Aspinall	1999-09-13
\|
*	Added new buttons. (xbm files currently missing, some icons not made yet, ↵	David Aspinall	1999-09-13
\| \| \| \|	confusingly copied old ones.
*	Ignore file	David Aspinall	1999-06-24
\|
*	Updates and new images	David Aspinall	1999-06-24
\|
*	Made PROOF logo same width as GENERAL. Made both have transparent background.	David Aspinall	1998-11-18
\|
*	Changed to build gif files for text logo.	David Aspinall	1998-10-09
\|
*	GIMP Script Fu for batch generating images.	David Aspinall	1998-10-07