proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Deleted file	David Aspinall	2007-12-11
\|
*	Add note about favicon.	David Aspinall	2002-07-13
\|
*	Add note about favicon.	David Aspinall	2002-07-13
\|
*	Updated.	David Aspinall	2000-09-14
\|
*	Updated	David Aspinall	1999-11-24
\|
*	Clarified font note	David Aspinall	1999-09-22
\|
*	Added new buttons. (xbm files currently missing, some icons not made yet, ↵	David Aspinall	1999-09-13
\| \| \| \|	confusingly copied old ones.
*	Updates and new images	David Aspinall	1999-06-24
\|
*	Being pedantic about variables versus predicates, renamed prog-name-ask-p.	David Aspinall	1998-11-03
\|
*	Added text logos.	David Aspinall	1998-10-07
\|
*	New CD-player type icons	David Aspinall	1998-09-22