aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-toolbar.el
Commit message (Expand)AuthorAge
...
* Longer menu names, allowed some toolbar items to be omitted from menu.Gravatar David Aspinall1999-09-28
* Changed button order.Gravatar David Aspinall1999-09-27
* Added implementation of proof-toolbar-findGravatar David Aspinall1999-09-23
* Bug in command button for toolbar.Gravatar David Aspinall1999-09-22
* Added interval timer to reduce flickeriness of refresh.Gravatar David Aspinall1999-09-22
* Added find and help buttons. Find does nothing at the moment.Gravatar David Aspinall1999-09-22
* Button name changeGravatar David Aspinall1999-09-22
* Add and remove proof-toolbar-refresh to/from proof-state-change-hook.Gravatar David Aspinall1999-09-21
* Added function to refresh toolbarGravatar David Aspinall1999-09-13
* Added new toolbar buttons, streamlined code to work from a tableGravatar David Aspinall1999-09-13
* Add toggle for proof toolbar to menuGravatar David Aspinall1999-05-11
* Updated docstring.Gravatar David Aspinall1998-12-17
* made many minor changes to the documentationGravatar Thomas Kleymann1998-12-15
* Removed check for proof script buffer from retraction enabler.Gravatar David Aspinall1998-12-11
* Changed name of proof-toolbar-inhibit variable for uniformity.Gravatar David Aspinall1998-12-10
* Toolbar tip for restart changed.Gravatar David Aspinall1998-11-25
* Docstring fixes, minor improvements.Gravatar David Aspinall1998-11-25
* Reimplemented functions to shut down and restart proof process.Gravatar David Aspinall1998-11-20
* BIG CHANGES -- SORRY!Gravatar David Aspinall1998-11-20
* Added menu made from toolbar commands, called "Scripting".Gravatar David Aspinall1998-11-03
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Added proof-toolbar-follow-mode user option and functions to supportGravatar David Aspinall1998-10-28
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* proof-check-process-available replaced by *two* functions:Gravatar David Aspinall1998-10-26
* Added todo for clean byte compileGravatar David Aspinall1998-10-22
* o Improved error messagesGravatar Thomas Kleymann1998-10-21
* relaxed conditions in light of new multiple files supportGravatar Thomas Kleymann1998-10-18
* Reimplemented multiple file proof developmentsGravatar Thomas Kleymann1998-10-18
* 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-29 17:11:22 +0000