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 (
Collapse
)
Author
Age
...
*
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
|
*
Reduced number of colours used for impoverished displays.
David Aspinall
1998-09-14
|
*
We seduce our audience by fancy pictures and words
David Aspinall
1998-09-10
|
*
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-09
|
*
Some quickly hacked ugly icons.
David Aspinall
1998-09-08
[prev]