proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Add new button	David Aspinall	2000-09-20
\|
*	added abort button	Christophe Raffalli	2000-09-20
\|
*	abort button	Christophe Raffalli	2000-09-20
\|
*	Updated.	David Aspinall	2000-09-14
\|
*	Reduced sizes of images.	David Aspinall	2000-09-13
\|
*	Updated	David Aspinall	1999-11-24
\|
*	New button	David Aspinall	1999-11-19
\|
*	Added goto button.	David Aspinall	1999-11-19
\|
*	Button for proof-goto-point action.	David Aspinall	1999-11-19
\|
*	Added interrupt button.	David Aspinall	1999-10-01
\|
*	Added icons.	David Aspinall	1999-09-30
\|
*	Look up and left for context, down and right for state. Are these the right ↵	David Aspinall	1999-09-22
\| \| \| \|	NLP gestures?
*	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
\|