proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	fix icon installation and add 64 and 128 square icons (fixes #141)	Hendrik Tews	2017-01-17
\|
*	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!
*	remove deprecated desktop keys	Hendrik Tews	2012-03-05
\|
*	Updated.	David Aspinall	2005-08-10
\|
*	Update to match desktop entry spec 0.9.4	David Aspinall	2005-07-15
\|
*	Add alpha to fit modern themes	David Aspinall	2005-07-15
\|
*	Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4	David Aspinall	2005-07-15
\|
*	Tweak desktop integration; add application-registry.	David Aspinall	2004-03-01
\|
*	New file	David Aspinall	2004-03-01
\|
*	fix syntax	David Aspinall	2004-03-01
\|
*	Updated.	David Aspinall	2004-02-29
\|
*	Extend notes.	David Aspinall	2004-02-28
\|
*	New files.	David Aspinall	2004-02-28
\|
*	New files.	David Aspinall	2004-02-28
\|
*	* empty log message *	David Aspinall	2004-02-28
\|
*	Fix loc	David Aspinall	2004-02-28
\|
*	New files.	David Aspinall	2004-02-28
\|
*	New files.	David Aspinall	2004-02-28