index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
images
Age
Commit message (
Expand
)
Author
1998-10-14
Added developer's distribution, link to master todo list, images target
David Aspinall
1998-10-12
Simplified appearance of buttons as suggested by tms.
David Aspinall
1998-10-09
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-07
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-01
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
Added new images
David Aspinall
1998-09-22
New CD-player type icons
David Aspinall
1998-09-22
Master files for icons.
David Aspinall
1998-09-14
Reduced number of colours used for impoverished displays.
David Aspinall
1998-09-10
We seduce our audience by fancy pictures and words
David Aspinall
1998-09-09
Added X bitmaps of icons for mono displays
David Aspinall
1998-09-09
Renamed recycle icon to restart
David Aspinall
1998-09-09
Message for images directory
David Aspinall
1998-09-08
Some quickly hacked ugly icons.
David Aspinall