aboutsummaryrefslogtreecommitdiff
path: root/images/Makefile
AgeCommit message (Expand)Author
2007-12-11Deleted fileDavid Aspinall
2007-12-10Updated.David Aspinall
2004-06-16Update targetsDavid Aspinall
2002-08-29Remove isabelle logoDavid Aspinall
2000-09-23Remove xbm'sDavid Aspinall
2000-09-20added abort buttonChristophe Raffalli
1999-11-19Added goto button.David Aspinall
1999-10-01Added interrupt button.David Aspinall
1999-09-22Updated with new buttonsDavid Aspinall
1999-09-13Added new buttons. (xbm files currently missing, some icons not made yet, co...David Aspinall
1999-08-20Default background colour for toolbar buttons added.David Aspinall
1999-06-24Updates and new imagesDavid Aspinall
1998-10-29Added plain isabelle imageDavid Aspinall
1998-10-14Added developer's distribution, link to master todo list, images targetDavid Aspinall
1998-10-09Changed to build gif files for text logo.David Aspinall
1998-10-07Added distclean targetDavid Aspinall
1998-10-07Adjusted so make clean gives clean output from cvs update.David Aspinall
1998-10-07Added gif files for reduced color displays.David Aspinall
1998-10-07Makefile for generating various image formats.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 18:32:36 +0000