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 (
Collapse
)
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, ↵
David Aspinall
1999-09-13
|
|
|
|
confusingly copied old ones.
*
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