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
...
*
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]