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
/
Makefile
Commit message (
Expand
)
Author
Age
*
Remove xbm's
David Aspinall
2000-09-23
*
added abort button
Christophe Raffalli
2000-09-20
*
Added goto button.
David Aspinall
1999-11-19
*
Added interrupt button.
David Aspinall
1999-10-01
*
Updated with new buttons
David Aspinall
1999-09-22
*
Added new buttons. (xbm files currently missing, some icons not made yet, co...
David Aspinall
1999-09-13
*
Default background colour for toolbar buttons added.
David Aspinall
1999-08-20
*
Updates and new images
David Aspinall
1999-06-24
*
Added plain isabelle image
David Aspinall
1998-10-29
*
Added developer's distribution, link to master todo list, images target
David Aspinall
1998-10-14
*
Changed to build gif files for text logo.
David Aspinall
1998-10-09
*
Added distclean target
David Aspinall
1998-10-07
*
Adjusted so make clean gives clean output from cvs update.
David Aspinall
1998-10-07
*
Added gif files for reduced color displays.
David Aspinall
1998-10-07
*
Makefile for generating various image formats.
David Aspinall
1998-10-07