index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
images
Commit message (
Expand
)
Author
Age
*
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
*
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
*
Colorised the general!
David Aspinall
1998-10-07
*
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
*
Added new images
David Aspinall
1998-10-01
*
New CD-player type icons
David Aspinall
1998-09-22
*
Master files for icons.
David Aspinall
1998-09-22
[next]