proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	New buttons	David Aspinall	1999-09-22
\|
*	Updated buttons.	David Aspinall	1999-09-22
\|
*	Changed name of button	David Aspinall	1999-09-22
\|
*	Updated with new buttons	David Aspinall	1999-09-22
\|
*	Image a bit like show.	David Aspinall	1999-09-22
\|
*	Correct text, still no image.	David Aspinall	1999-09-22
\|
*	Clarified font note	David Aspinall	1999-09-22
\|
*	New button icons	David Aspinall	1999-09-22
\|
*	Renamed file	David Aspinall	1999-09-22
\|
*	Renamed file	David Aspinall	1999-09-22
\|
*	New toolbar image	David Aspinall	1999-09-13
\|
*	Updated buttons. xbm's still problematical, I think	David Aspinall	1999-09-13
\|
*	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.
*	Default background colour for toolbar buttons added.	David Aspinall	1999-08-20
\|
*	ignore file	David Aspinall	1999-08-20
\|
*	Ignore file	David Aspinall	1999-06-24
\|
*	Updates and new images	David Aspinall	1999-06-24
\|
*	Deleted files.	David Aspinall	1999-06-24
\|
*	Made PROOF logo same width as GENERAL. Made both have transparent background.	David Aspinall	1998-11-18
\|
*	Being pedantic about variables versus predicates, renamed prog-name-ask-p.	David Aspinall	1998-11-03
\|
*	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
\|
*	Simplified appearance of buttons as suggested by tms.	David Aspinall	1998-10-12
\| \| \| \|	(Unfortunately new designs are a bit asymmetric)
*	Added so-called 8bit gifs with reduced colours.	David Aspinall	1998-10-09
\|
*	Changed to build gif files for text logo.	David Aspinall	1998-10-09
\|
*	No longer needed.	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
\|
*	GIMP Script Fu for batch generating images.	David Aspinall	1998-10-07
\|
*	Added jpegs to repository for convenience.	David Aspinall	1998-10-07
\|
*	Added gif files for reduced color displays.	David Aspinall	1998-10-07
\|
*	Added to repository for convenience.	David Aspinall	1998-10-07
\|
*	Added for convenience.	David Aspinall	1998-10-07
\|
*	Makefile for generating various image formats.	David Aspinall	1998-10-07
\|
*	Added to repository for convenience.	David Aspinall	1998-10-07
\|
*	Added text logos.	David Aspinall	1998-10-07
\|
*	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