aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-toolbar.el
AgeCommit message (Expand)Author
1998-10-12Fixed bug in proof-toolbar-qed.David Aspinall
1998-10-12Made toolbar functions interactive, needed by old XEmacs.David Aspinall
1998-10-12Made toolbar functions interactive, needed by old XEmacs.David Aspinall
1998-10-12Made toolbar functions interactive, needed by old XEmacs.David Aspinall
1998-10-12Removed toolbar enablers. XEmacs isnt ready for them yet.David Aspinall
1998-10-12Made toolbar functions leave point alone, mostly.David Aspinall
1998-10-12Doc stringsDavid Aspinall
1998-10-07Added detection of less than 16 bit colour depth to display 8bitDavid Aspinall
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Added qed button. Fixed enabler predicates.David Aspinall
1998-09-23Changed customization group nameDavid Aspinall
1998-09-22Added new buttons, changed icons.David Aspinall
1998-09-14Added docs and proof-restart-script-same-process (may need work)David Aspinall
1998-09-09Renamed recycle icon to restartDavid Aspinall
1998-09-09Added query to restart script button in case of accidents.David Aspinall
1998-09-08Added todos for toolbar.David Aspinall
1998-09-08First version of generic proof toolbar.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:46:43 +0000