aboutsummaryrefslogtreecommitdiff
path: root/images
AgeCommit message (Collapse)Author
2000-09-20Add new buttonDavid Aspinall
2000-09-20added abort buttonChristophe Raffalli
2000-09-20abort buttonChristophe Raffalli
2000-09-14Updated.David Aspinall
2000-09-13Reduced sizes of images.David Aspinall
1999-11-24UpdatedDavid Aspinall
1999-11-19New buttonDavid Aspinall
1999-11-19Added goto button.David Aspinall
1999-11-19Button for proof-goto-point action.David Aspinall
1999-10-01Added interrupt button.David Aspinall
1999-09-30Added icons.David Aspinall
1999-09-22Look up and left for context, down and right for state. Are these the right ↵David Aspinall
NLP gestures?
1999-09-22New buttonsDavid Aspinall
1999-09-22Updated buttons.David Aspinall
1999-09-22Changed name of buttonDavid Aspinall
1999-09-22Updated with new buttonsDavid Aspinall
1999-09-22Image a bit like show.David Aspinall
1999-09-22Correct text, still no image.David Aspinall
1999-09-22Clarified font noteDavid Aspinall
1999-09-22New button iconsDavid Aspinall
1999-09-22Renamed fileDavid Aspinall
1999-09-22Renamed fileDavid Aspinall
1999-09-13New toolbar imageDavid Aspinall
1999-09-13Updated buttons. xbm's still problematical, I thinkDavid Aspinall
1999-09-13Updated for gimp 1.1.9David Aspinall
1999-09-13UpdatedDavid Aspinall
1999-09-13Added new buttons. (xbm files currently missing, some icons not made yet, ↵David Aspinall
confusingly copied old ones.
1999-08-20Default background colour for toolbar buttons added.David Aspinall
1999-08-20ignore fileDavid Aspinall
1999-06-24Ignore fileDavid Aspinall
1999-06-24Updates and new imagesDavid Aspinall
1999-06-24Deleted files.David Aspinall
1998-11-18Made PROOF logo same width as GENERAL. Made both have transparent background.David Aspinall
1998-11-03Being pedantic about variables versus predicates, renamed prog-name-ask-p.David Aspinall
1998-10-29Added plain isabelle imageDavid Aspinall
1998-10-14Added developer's distribution, link to master todo list, images targetDavid Aspinall
1998-10-12Simplified appearance of buttons as suggested by tms.David Aspinall
(Unfortunately new designs are a bit asymmetric)
1998-10-09Added so-called 8bit gifs with reduced colours.David Aspinall
1998-10-09Changed to build gif files for text logo.David Aspinall
1998-10-09No longer needed.David Aspinall
1998-10-07Added distclean targetDavid Aspinall
1998-10-07Adjusted so make clean gives clean output from cvs update.David Aspinall
1998-10-07GIMP Script Fu for batch generating images.David Aspinall
1998-10-07Added jpegs to repository for convenience.David Aspinall
1998-10-07Added gif files for reduced color displays.David Aspinall
1998-10-07Added to repository for convenience.David Aspinall
1998-10-07Added for convenience.David Aspinall
1998-10-07Makefile for generating various image formats.David Aspinall
1998-10-07Added to repository for convenience.David Aspinall
1998-10-07Added text logos.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:56:59 +0000