aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-toolbar.el
Commit message (Expand)AuthorAge
* Removed proof-toolbar-entries-default and <PA>-toolbar-entries.Gravatar David Aspinall2000-09-13
* Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to p...Gravatar David Aspinall2000-09-13
* Support toolbar in gtk-xemacsGravatar David Aspinall2000-06-15
* When button enablers disabled, don't use itimer or after-change hook.Gravatar David Aspinall2000-05-25
* Next button is enabled whenever locked region is not full.Gravatar David Aspinall2000-05-25
* Use proof-deftoggle macro.Gravatar David Aspinall2000-05-11
* Improved loadingGravatar David Aspinall2000-05-09
* Added menu entry for proof-goto-end-of-locked.Gravatar David Aspinall2000-05-05
* Let Windows use the toolbar too.Gravatar David Aspinall2000-03-23
* Added menu entry for proof-undo-and-delete-last-successful-commandGravatar David Aspinall2000-03-19
* Edited a tooltip.Gravatar David Aspinall2000-03-09
* Rearrange comments.Gravatar David Aspinall1999-11-23
* Moved goto button.Gravatar David Aspinall1999-11-22
* Added goto buttonGravatar David Aspinall1999-11-19
* Moved code for user-commands to proof-script.el.Gravatar David Aspinall1999-11-15
* Reorganized user options. Special new code for boolean settings.Gravatar David Aspinall1999-11-10
* Generic support for x-symbol tuned up.Gravatar David Aspinall1999-11-09
* Copyright messages updated.Gravatar David Aspinall1999-11-08
* FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.Gravatar David Aspinall1999-10-15
* Added proof-toolbar-use-enablers setting, and automaticallyGravatar David Aspinall1999-10-12
* after-change-functions only changed locally, only for script buffers.Gravatar David Aspinall1999-10-06
* FIXME addedGravatar David Aspinall1999-10-06
* Added proof-retract-buffer symmetric to proof-process-buffer.Gravatar David Aspinall1999-10-06
* Renamed some configuration variables for uniformity, see CHANGES.Gravatar David Aspinall1999-10-01
* Added interrupt button to toolbarGravatar David Aspinall1999-10-01
* Fix toolbar in wrong buffer bug; delete defunct itimers.Gravatar David Aspinall1999-10-01
* Menu name.Gravatar David Aspinall1999-09-29
* More reorganizing of menus and keybindings with aim of usability in mind.Gravatar David Aspinall1999-09-28
* Reorganization of menus: made a single menu but flattened Scripting submenu.Gravatar David Aspinall1999-09-28
* Made Scripting menu entry item on menubar.Gravatar David Aspinall1999-09-28
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 00:01:53 +0000