proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update license information for new logo	Clément Pit--Claudel	2016-05-25
\|
*	Update PG's logo	Clément Pit--Claudel	2016-05-24
\| \| \| \| \| \| \|	The new art is a contribution of Yoshihiro Imai (http://proofcafe.org/~yoshihiro503/), first released at https://github.com/yoshihiro503/generaltan and kindly made available under the terms of the GPL. Many thanks!
*	Adjust license to CC-BY-SA-3	David Aspinall	2012-01-11
\|
*	Updated.	David Aspinall	2007-12-12
\|
*	Updated.	David Aspinall	2007-12-11
\|
*	Updated.	David Aspinall	2007-12-11
\|
*	Updated.	David Aspinall	2007-12-09
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	New CD-player type icons	David Aspinall	1998-09-22
\|
*	Message for images directory	David Aspinall	1998-09-09