proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	New files.	David Aspinall	2002-08-08
\|
*	Add note about favicon.	David Aspinall	2002-07-13
\|
*	Add note about favicon.	David Aspinall	2002-07-13
\|
*	Add icon images.	David Aspinall	2000-09-29
\|
*	Make backgroundize	David Aspinall	2000-09-26
\|
*	Image of the general with ??? badge	David Aspinall	2000-09-23
\|
*	Deleted file	David Aspinall	2000-09-23
\|
*	Deleted file	David Aspinall	2000-09-23
\|
*	Improved(?) goto button	David Aspinall	2000-09-23
\|
*	Remove obsolete xbms	David Aspinall	2000-09-23
\|
*	Remove xbm's	David Aspinall	2000-09-23
\|
*	Tweaked abort button	David Aspinall	2000-09-21
\|
*	New generated buttons.	David Aspinall	2000-09-20
\|
*	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)