aboutsummaryrefslogtreecommitdiffhomepage
path: root/images
Commit message (Expand)AuthorAge
* Update license information for new logoGravatar Clément Pit--Claudel2016-05-25
* Update PG's logoGravatar Clément Pit--Claudel2016-05-24
* rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Gravatar Hendrik Tews2013-05-22
* Adjust license to CC-BY-SA-3Gravatar David Aspinall2012-01-11
* merge ProofTreeBranch into main trunk:Gravatar Hendrik Tews2012-01-03
* Fix transparency for PNGsGravatar David Aspinall2010-10-11
* DefunctGravatar David Aspinall2010-10-11
* Add home iconGravatar David Aspinall2009-08-07
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Fix antialisingGravatar David Aspinall2007-12-12
* Fix icon sizes, antialisingGravatar David Aspinall2007-12-12
* Updated cropped imagesGravatar David Aspinall2007-12-12
* Tune backgroundsGravatar David Aspinall2007-12-12
* Fixup iconsGravatar David Aspinall2007-12-12
* CleanupGravatar David Aspinall2007-12-12
* Updated.Gravatar David Aspinall2007-12-12
* New files.Gravatar David Aspinall2007-12-12
* Updated.Gravatar David Aspinall2007-12-11
* Deleted fileGravatar David Aspinall2007-12-11
* Updated.Gravatar David Aspinall2007-12-11
* Deleted fileGravatar David Aspinall2007-12-11
* Pruned buttonsGravatar David Aspinall2007-12-11
* Deleted fileGravatar David Aspinall2007-12-11
* New files.Gravatar David Aspinall2007-12-11
* Updated.Gravatar David Aspinall2007-12-10
* New files.Gravatar David Aspinall2007-12-10
* Updated.Gravatar David Aspinall2007-12-09
* Update targetsGravatar David Aspinall2004-06-16
* Renamed fileGravatar David Aspinall2004-03-01
* Renamed filesGravatar David Aspinall2004-03-01
* Renamed fileGravatar David Aspinall2004-03-01
* Renamed fileGravatar David Aspinall2004-03-01
* Deleted fileGravatar David Aspinall2004-02-28
* New files.Gravatar David Aspinall2004-02-28
* New files.Gravatar David Aspinall2003-10-05
* Remove isabelle logoGravatar David Aspinall2002-08-29
* Deleted files.Gravatar David Aspinall2002-08-29
* New files.Gravatar David Aspinall2002-08-08
* Add note about favicon.Gravatar David Aspinall2002-07-13
* Add note about favicon.Gravatar David Aspinall2002-07-13
* Add icon images.Gravatar David Aspinall2000-09-29
* Make backgroundizeGravatar David Aspinall2000-09-26
* Image of the general with ??? badgeGravatar David Aspinall2000-09-23
* Deleted fileGravatar David Aspinall2000-09-23
* Deleted fileGravatar David Aspinall2000-09-23
* Improved(?) goto buttonGravatar David Aspinall2000-09-23
* Remove obsolete xbmsGravatar David Aspinall2000-09-23
* Remove xbm'sGravatar David Aspinall2000-09-23
* Tweaked abort buttonGravatar David Aspinall2000-09-21
* New generated buttons.Gravatar David Aspinall2000-09-20