aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-toolbar.el
Commit message (Expand)AuthorAge
* GPLGravatar David Aspinall2002-06-21
* Year changesGravatar David Aspinall2002-03-21
* Add support for toolbars on Emacs 21.Gravatar David Aspinall2001-12-11
* Fix fudged enabler to call button function interactively.Gravatar David Aspinall2001-10-04
* Add hide/show commands instead of make proofs visibleGravatar David Aspinall2001-08-16
* Revert to removing and re-adding specifiers for toolbar,Gravatar David Aspinall2001-08-01
* Various changes for win32 compatibilityGravatar Christophe Raffalli2001-07-25
* Clean for compileGravatar David Aspinall2001-07-09
* Add visible enable commandGravatar David Aspinall2000-12-14
* Make toolbar enablers work appropriately from non-scripting buffersGravatar David Aspinall2000-09-23
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 19:01:45 +0000