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!
*	rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}	Hendrik Tews	2013-05-22
\| \| \| \|	to fix #472
*	Adjust license to CC-BY-SA-3	David Aspinall	2012-01-11
\|
*	merge ProofTreeBranch into main trunk:	Hendrik Tews	2012-01-03
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	- add support for proof-tree displays (currently Coq only) - new file generic/proof-tree.el contains generic code - Coq specific code has been added to coq/coq.el Changes to existing Proof General functions: - proof-shell-exec-loop and proof-shell-filter-manage-output call proof-tree display functions, when the proof-tree display is on - proof-shell-exec-loop returns t if proof-action-list is empty _or_ contains only items for updating the proof-tree - proof-shell-should-be-silent returns nil when the proof-tree display is on - coq-last-prompt-info, coq-last-prompt-info-safe return as additional 4th element the name of the current proof
*	Fix transparency for PNGs	David Aspinall	2010-10-11
\|
*	Defunct	David Aspinall	2010-10-11
\|
*	Add home icon	David Aspinall	2009-08-07
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Fix antialising	David Aspinall	2007-12-12
\|
*	Fix icon sizes, antialising	David Aspinall	2007-12-12
\|
*	Updated cropped images	David Aspinall	2007-12-12
\|
*	Tune backgrounds	David Aspinall	2007-12-12
\|
*	Fixup icons	David Aspinall	2007-12-12
\|
*	Cleanup	David Aspinall	2007-12-12
\|
*	Updated.	David Aspinall	2007-12-12
\|
*	New files.	David Aspinall	2007-12-12
\|
*	Updated.	David Aspinall	2007-12-11
\|
*	Deleted file	David Aspinall	2007-12-11
\|
*	Updated.	David Aspinall	2007-12-11
\|
*	Deleted file	David Aspinall	2007-12-11
\|
*	Pruned buttons	David Aspinall	2007-12-11
\|
*	Deleted file	David Aspinall	2007-12-11
\|
*	New files.	David Aspinall	2007-12-11
\|
*	Updated.	David Aspinall	2007-12-10
\|
*	New files.	David Aspinall	2007-12-10
\|
*	Updated.	David Aspinall	2007-12-09
\|
*	Update targets	David Aspinall	2004-06-16
\|
*	Renamed file	David Aspinall	2004-03-01
\|
*	Renamed files	David Aspinall	2004-03-01
\|
*	Renamed file	David Aspinall	2004-03-01
\|
*	Renamed file	David Aspinall	2004-03-01
\|
*	Deleted file	David Aspinall	2004-02-28
\|
*	New files.	David Aspinall	2004-02-28
\|
*	New files.	David Aspinall	2003-10-05
\|
*	Remove isabelle logo	David Aspinall	2002-08-29
\|
*	Deleted files.	David Aspinall	2002-08-29
\|
*	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
\|