aboutsummaryrefslogtreecommitdiffhomepage
path: root/images/Makefile
Commit message (Expand)AuthorAge
* Updated.Gravatar David Aspinall2007-12-10
* Update targetsGravatar David Aspinall2004-06-16
* Remove isabelle logoGravatar David Aspinall2002-08-29
* Remove xbm'sGravatar David Aspinall2000-09-23
* added abort buttonGravatar Christophe Raffalli2000-09-20
* Added goto button.Gravatar David Aspinall1999-11-19
* Added interrupt button.Gravatar David Aspinall1999-10-01
* Updated with new buttonsGravatar David Aspinall1999-09-22
* Added new buttons. (xbm files currently missing, some icons not made yet, co...Gravatar David Aspinall1999-09-13
* Default background colour for toolbar buttons added.Gravatar David Aspinall1999-08-20
* Updates and new imagesGravatar David Aspinall1999-06-24
* Added plain isabelle imageGravatar David Aspinall1998-10-29
* Added developer's distribution, link to master todo list, images targetGravatar David Aspinall1998-10-14
* Changed to build gif files for text logo.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
* Added gif files for reduced color displays.Gravatar David Aspinall1998-10-07
* Makefile for generating various image formats.Gravatar David Aspinall1998-10-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 13:30:35 +0000