aboutsummaryrefslogtreecommitdiffhomepage
path: root/images
Commit message (Expand)AuthorAge
...
* 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
* Default background colour for toolbar buttons added.Gravatar David Aspinall1999-08-20
* ignore fileGravatar David Aspinall1999-08-20
* Ignore fileGravatar David Aspinall1999-06-24
* Updates and new imagesGravatar David Aspinall1999-06-24
* Deleted files.Gravatar David Aspinall1999-06-24
* Made PROOF logo same width as GENERAL. Made both have transparent background.Gravatar David Aspinall1998-11-18
* Being pedantic about variables versus predicates, renamed prog-name-ask-p.Gravatar David Aspinall1998-11-03
* Added plain isabelle imageGravatar David Aspinall1998-10-29
* Added developer's distribution, link to master todo list, images targetGravatar David Aspinall1998-10-14
* Simplified appearance of buttons as suggested by tms.Gravatar David Aspinall1998-10-12
* Added so-called 8bit gifs with reduced colours.Gravatar David Aspinall1998-10-09
* Changed to build gif files for text logo.Gravatar David Aspinall1998-10-09
* No longer needed.Gravatar David Aspinall1998-10-09
* Added distclean targetGravatar David Aspinall1998-10-07
* Adjusted so make clean gives clean output from cvs update.Gravatar David Aspinall1998-10-07
* GIMP Script Fu for batch generating images.Gravatar David Aspinall1998-10-07
* Added jpegs to repository for convenience.Gravatar David Aspinall1998-10-07
* Added gif files for reduced color displays.Gravatar David Aspinall1998-10-07
* Added to repository for convenience.Gravatar David Aspinall1998-10-07
* Added for convenience.Gravatar David Aspinall1998-10-07
* Makefile for generating various image formats.Gravatar David Aspinall1998-10-07
* Added to repository for convenience.Gravatar David Aspinall1998-10-07
* Added text logos.Gravatar David Aspinall1998-10-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-28 05:12:37 +0000