aboutsummaryrefslogtreecommitdiffhomepage
path: root/images
Commit message (Expand)AuthorAge
* Made PROOF logo same width as GENERAL. Made both have transparent background.Gravatar David Aspinall1998-11-18
* Being pedantic about variables versus predicates, renamed prog-name-ask-p.Gravatar David Aspinall1998-11-03
* Added plain isabelle imageGravatar David Aspinall1998-10-29
* Added developer's distribution, link to master todo list, images targetGravatar David Aspinall1998-10-14
* Simplified appearance of buttons as suggested by tms.Gravatar David Aspinall1998-10-12
* Added so-called 8bit gifs with reduced colours.Gravatar David Aspinall1998-10-09
* Changed to build gif files for text logo.Gravatar David Aspinall1998-10-09
* No longer needed.Gravatar David Aspinall1998-10-09
* Added distclean targetGravatar David Aspinall1998-10-07
* Adjusted so make clean gives clean output from cvs update.Gravatar David Aspinall1998-10-07
* GIMP Script Fu for batch generating images.Gravatar David Aspinall1998-10-07
* Added jpegs to repository for convenience.Gravatar David Aspinall1998-10-07
* Added gif files for reduced color displays.Gravatar David Aspinall1998-10-07
* Added to repository for convenience.Gravatar David Aspinall1998-10-07
* Added for convenience.Gravatar David Aspinall1998-10-07
* Makefile for generating various image formats.Gravatar David Aspinall1998-10-07
* Added to repository for convenience.Gravatar David Aspinall1998-10-07
* Added text logos.Gravatar David Aspinall1998-10-07
* Colorised the general!Gravatar David Aspinall1998-10-07
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Added new imagesGravatar David Aspinall1998-10-01
* New CD-player type iconsGravatar David Aspinall1998-09-22
* Master files for icons.Gravatar David Aspinall1998-09-22
* Reduced number of colours used for impoverished displays.Gravatar David Aspinall1998-09-14
* We seduce our audience by fancy pictures and wordsGravatar David Aspinall1998-09-10
* Added X bitmaps of icons for mono displaysGravatar David Aspinall1998-09-09
* Renamed recycle icon to restartGravatar David Aspinall1998-09-09
* Message for images directoryGravatar David Aspinall1998-09-09
* Some quickly hacked ugly icons.Gravatar David Aspinall1998-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 02:12:41 +0000