aboutsummaryrefslogtreecommitdiffhomepage
path: root/images
Commit message (Expand)AuthorAge
* 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
* Add new buttonGravatar David Aspinall2000-09-20
* added abort buttonGravatar Christophe Raffalli2000-09-20
* abort buttonGravatar Christophe Raffalli2000-09-20
* Updated.Gravatar David Aspinall2000-09-14
* Reduced sizes of images.Gravatar David Aspinall2000-09-13
* UpdatedGravatar David Aspinall1999-11-24
* New buttonGravatar David Aspinall1999-11-19
* Added goto button.Gravatar David Aspinall1999-11-19
* Button for proof-goto-point action.Gravatar David Aspinall1999-11-19
* Added interrupt button.Gravatar David Aspinall1999-10-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 06:23:56 +0000