aboutsummaryrefslogtreecommitdiff
path: root/images
AgeCommit message (Collapse)Author
2016-05-25Update license information for new logoClément Pit--Claudel
2016-05-24Update PG's logoClément Pit--Claudel
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!
2013-05-22rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Hendrik Tews
to fix #472
2012-01-11Adjust license to CC-BY-SA-3David Aspinall
2012-01-03merge ProofTreeBranch into main trunk:Hendrik Tews
- 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
2010-10-11Fix transparency for PNGsDavid Aspinall
2010-10-11DefunctDavid Aspinall
2009-08-07Add home iconDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2007-12-12Fix antialisingDavid Aspinall
2007-12-12Fix icon sizes, antialisingDavid Aspinall
2007-12-12Updated cropped imagesDavid Aspinall
2007-12-12Tune backgroundsDavid Aspinall
2007-12-12Fixup iconsDavid Aspinall
2007-12-12CleanupDavid Aspinall
2007-12-12Updated.David Aspinall
2007-12-12New files.David Aspinall
2007-12-11Updated.David Aspinall
2007-12-11Deleted fileDavid Aspinall
2007-12-11Updated.David Aspinall
2007-12-11Deleted fileDavid Aspinall
2007-12-11Pruned buttonsDavid Aspinall
2007-12-11Deleted fileDavid Aspinall
2007-12-11New files.David Aspinall
2007-12-10Updated.David Aspinall
2007-12-10New files.David Aspinall
2007-12-09Updated.David Aspinall
2004-06-16Update targetsDavid Aspinall
2004-03-01Renamed fileDavid Aspinall
2004-03-01Renamed filesDavid Aspinall
2004-03-01Renamed fileDavid Aspinall
2004-03-01Renamed fileDavid Aspinall
2004-02-28Deleted fileDavid Aspinall
2004-02-28New files.David Aspinall
2003-10-05New files.David Aspinall
2002-08-29Remove isabelle logoDavid Aspinall
2002-08-29Deleted files.David Aspinall
2002-08-08New files.David Aspinall
2002-07-13Add note about favicon.David Aspinall
2002-07-13Add note about favicon.David Aspinall
2000-09-29Add icon images.David Aspinall
2000-09-26Make backgroundizeDavid Aspinall
2000-09-23Image of the general with ??? badgeDavid Aspinall
2000-09-23Deleted fileDavid Aspinall
2000-09-23Deleted fileDavid Aspinall
2000-09-23Improved(?) goto buttonDavid Aspinall
2000-09-23Remove obsolete xbmsDavid Aspinall
2000-09-23Remove xbm'sDavid Aspinall
2000-09-21Tweaked abort buttonDavid Aspinall
2000-09-20New generated buttons.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:59 +0000