Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove isabelle logo | 2002-08-29 | |
| | |||
* | Deleted files. | 2002-08-29 | |
| | |||
* | New files. | 2002-08-08 | |
| | |||
* | Add note about favicon. | 2002-07-13 | |
| | |||
* | Add note about favicon. | 2002-07-13 | |
| | |||
* | Add icon images. | 2000-09-29 | |
| | |||
* | Make backgroundize | 2000-09-26 | |
| | |||
* | Image of the general with ??? badge | 2000-09-23 | |
| | |||
* | Deleted file | 2000-09-23 | |
| | |||
* | Deleted file | 2000-09-23 | |
| | |||
* | Improved(?) goto button | 2000-09-23 | |
| | |||
* | Remove obsolete xbms | 2000-09-23 | |
| | |||
* | Remove xbm's | 2000-09-23 | |
| | |||
* | Tweaked abort button | 2000-09-21 | |
| | |||
* | New generated buttons. | 2000-09-20 | |
| | |||
* | Add new button | 2000-09-20 | |
| | |||
* | added abort button | 2000-09-20 | |
| | |||
* | abort button | 2000-09-20 | |
| | |||
* | Updated. | 2000-09-14 | |
| | |||
* | Reduced sizes of images. | 2000-09-13 | |
| | |||
* | Updated | 1999-11-24 | |
| | |||
* | New button | 1999-11-19 | |
| | |||
* | Added goto button. | 1999-11-19 | |
| | |||
* | Button for proof-goto-point action. | 1999-11-19 | |
| | |||
* | Added interrupt button. | 1999-10-01 | |
| | |||
* | Added icons. | 1999-09-30 | |
| | |||
* | Look up and left for context, down and right for state. Are these the right ↵ | 1999-09-22 | |
| | | | | NLP gestures? | ||
* | New buttons | 1999-09-22 | |
| | |||
* | Updated buttons. | 1999-09-22 | |
| | |||
* | Changed name of button | 1999-09-22 | |
| | |||
* | Updated with new buttons | 1999-09-22 | |
| | |||
* | Image a bit like show. | 1999-09-22 | |
| | |||
* | Correct text, still no image. | 1999-09-22 | |
| | |||
* | Clarified font note | 1999-09-22 | |
| | |||
* | New button icons | 1999-09-22 | |
| | |||
* | Renamed file | 1999-09-22 | |
| | |||
* | Renamed file | 1999-09-22 | |
| | |||
* | New toolbar image | 1999-09-13 | |
| | |||
* | Updated buttons. xbm's still problematical, I think | 1999-09-13 | |
| | |||
* | Updated for gimp 1.1.9 | 1999-09-13 | |
| | |||
* | Updated | 1999-09-13 | |
| | |||
* | Added new buttons. (xbm files currently missing, some icons not made yet, ↵ | 1999-09-13 | |
| | | | | confusingly copied old ones. | ||
* | Default background colour for toolbar buttons added. | 1999-08-20 | |
| | |||
* | ignore file | 1999-08-20 | |
| | |||
* | Ignore file | 1999-06-24 | |
| | |||
* | Updates and new images | 1999-06-24 | |
| | |||
* | Deleted files. | 1999-06-24 | |
| | |||
* | Made PROOF logo same width as GENERAL. Made both have transparent background. | 1998-11-18 | |
| | |||
* | Being pedantic about variables versus predicates, renamed prog-name-ask-p. | 1998-11-03 | |
| | |||
* | Added plain isabelle image | 1998-10-29 | |
| |