Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added new buttons. (xbm files currently missing, some icons not made yet, co... | 1999-09-13 | |
* | Default background colour for toolbar buttons added. | 1999-08-20 | |
* | Updates and new images | 1999-06-24 | |
* | Added plain isabelle image | 1998-10-29 | |
* | Added developer's distribution, link to master todo list, images target | 1998-10-14 | |
* | Changed to build gif files for text logo. | 1998-10-09 | |
* | Added distclean target | 1998-10-07 | |
* | Adjusted so make clean gives clean output from cvs update. | 1998-10-07 | |
* | Added gif files for reduced color displays. | 1998-10-07 | |
* | Makefile for generating various image formats. | 1998-10-07 |