aboutsummaryrefslogtreecommitdiffhomepage
path: root/images
Commit message (Expand)AuthorAge
* 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
* Added icons.Gravatar David Aspinall1999-09-30
* Look up and left for context, down and right for state. Are these the right ...Gravatar David Aspinall1999-09-22
* New buttonsGravatar David Aspinall1999-09-22
* Updated buttons.Gravatar David Aspinall1999-09-22
* Changed name of buttonGravatar David Aspinall1999-09-22
* Updated with new buttonsGravatar David Aspinall1999-09-22
* Image a bit like show.Gravatar David Aspinall1999-09-22
* Correct text, still no image.Gravatar David Aspinall1999-09-22
* Clarified font noteGravatar David Aspinall1999-09-22
* New button iconsGravatar David Aspinall1999-09-22
* Renamed fileGravatar David Aspinall1999-09-22
* Renamed fileGravatar David Aspinall1999-09-22
* New toolbar imageGravatar David Aspinall1999-09-13
* Updated buttons. xbm's still problematical, I thinkGravatar David Aspinall1999-09-13
* Updated for gimp 1.1.9Gravatar David Aspinall1999-09-13
* UpdatedGravatar David Aspinall1999-09-13
* Added new buttons. (xbm files currently missing, some icons not made yet, co...Gravatar David Aspinall1999-09-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 08:29:17 +0000