Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add icon images. | David Aspinall | 2000-09-29 |
| | |||
* | Make backgroundize | David Aspinall | 2000-09-26 |
| | |||
* | Image of the general with ??? badge | David Aspinall | 2000-09-23 |
| | |||
* | Deleted file | David Aspinall | 2000-09-23 |
| | |||
* | Deleted file | David Aspinall | 2000-09-23 |
| | |||
* | Improved(?) goto button | David Aspinall | 2000-09-23 |
| | |||
* | Remove obsolete xbms | David Aspinall | 2000-09-23 |
| | |||
* | Remove xbm's | David Aspinall | 2000-09-23 |
| | |||
* | Tweaked abort button | David Aspinall | 2000-09-21 |
| | |||
* | New generated buttons. | David Aspinall | 2000-09-20 |
| | |||
* | 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 |
| |