proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Remove isabelle logo	David Aspinall	2002-08-29
\|
*	Remove xbm's	David Aspinall	2000-09-23
\|
*	added abort button	Christophe Raffalli	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
\|
*	Added new buttons. (xbm files currently missing, some icons not made yet, ↵	David Aspinall	1999-09-13
\| \| \| \|	confusingly copied old ones.
*	Default background colour for toolbar buttons added.	David Aspinall	1999-08-20
\|
*	Updates and new images	David Aspinall	1999-06-24
\|
*	Added plain isabelle image	David Aspinall	1998-10-29
\|
*	Added developer's distribution, link to master todo list, images target	David Aspinall	1998-10-14
\|
*	Changed to build gif files for text logo.	David Aspinall	1998-10-09
\|
*	Added distclean target	David Aspinall	1998-10-07
\|
*	Adjusted so make clean gives clean output from cvs update.	David Aspinall	1998-10-07
\|
*	Added gif files for reduced color displays.	David Aspinall	1998-10-07
\|
*	Makefile for generating various image formats.	David Aspinall	1998-10-07