proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Updated buttons. xbm's still problematical, I think	David Aspinall	1999-09-13
\|
*	Default background colour for toolbar buttons added.	David Aspinall	1999-08-20
\|
*	New CD-player type icons	David Aspinall	1998-09-22
\|
*	Reduced number of colours used for impoverished displays.	David Aspinall	1998-09-14
\|
*	Some quickly hacked ugly icons.	David Aspinall	1998-09-08