proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Colorised the general!	David Aspinall	1998-10-07
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Added new images	David Aspinall	1998-10-01
\|
*	New CD-player type icons	David Aspinall	1998-09-22
\|
*	Master files for icons.	David Aspinall	1998-09-22
\|
*	Reduced number of colours used for impoverished displays.	David Aspinall	1998-09-14
\|
*	We seduce our audience by fancy pictures and words	David Aspinall	1998-09-10
\|
*	Added X bitmaps of icons for mono displays	David Aspinall	1998-09-09
\|
*	Renamed recycle icon to restart	David Aspinall	1998-09-09
\|
*	Message for images directory	David Aspinall	1998-09-09
\|
*	Some quickly hacked ugly icons.	David Aspinall	1998-09-08