Commit message (Expand) | 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 |
* | 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, co... | David Aspinall | 1999-09-13 |
* | 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 |
* | 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 |