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