aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-toolbar.el
Commit message (Expand)AuthorAge
...
* Fixed bug in proof-toolbar-qed.Gravatar David Aspinall1998-10-12
* Made toolbar functions interactive, needed by old XEmacs.Gravatar David Aspinall1998-10-12
* Made toolbar functions interactive, needed by old XEmacs.Gravatar David Aspinall1998-10-12
* Made toolbar functions interactive, needed by old XEmacs.Gravatar David Aspinall1998-10-12
* Removed toolbar enablers. XEmacs isnt ready for them yet.Gravatar David Aspinall1998-10-12
* Made toolbar functions leave point alone, mostly.Gravatar David Aspinall1998-10-12
* Doc stringsGravatar David Aspinall1998-10-12
* Added detection of less than 16 bit colour depth to display 8bitGravatar David Aspinall1998-10-07
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Added qed button. Fixed enabler predicates.Gravatar David Aspinall1998-10-01
* Changed customization group nameGravatar David Aspinall1998-09-23
* Added new buttons, changed icons.Gravatar David Aspinall1998-09-22
* Added docs and proof-restart-script-same-process (may need work)Gravatar David Aspinall1998-09-14
* Renamed recycle icon to restartGravatar David Aspinall1998-09-09
* Added query to restart script button in case of accidents.Gravatar David Aspinall1998-09-09
* Added todos for toolbar.Gravatar David Aspinall1998-09-08
* First version of generic proof toolbar.Gravatar David Aspinall1998-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-25 18:59:37 +0000