aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-toolbar.el
AgeCommit message (Expand)Author
2000-03-19Added menu entry for proof-undo-and-delete-last-successful-commandDavid Aspinall
2000-03-09Edited a tooltip.David Aspinall
1999-11-23Rearrange comments.David Aspinall
1999-11-22Moved goto button.David Aspinall
1999-11-19Added goto buttonDavid Aspinall
1999-11-15Moved code for user-commands to proof-script.el.David Aspinall
1999-11-10Reorganized user options. Special new code for boolean settings.David Aspinall
1999-11-09Generic support for x-symbol tuned up.David Aspinall
1999-11-08Copyright messages updated.David Aspinall
1999-10-15FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.David Aspinall
1999-10-12Added proof-toolbar-use-enablers setting, and automaticallyDavid Aspinall
1999-10-06after-change-functions only changed locally, only for script buffers.David Aspinall
1999-10-06FIXME addedDavid Aspinall
1999-10-06Added proof-retract-buffer symmetric to proof-process-buffer.David Aspinall
1999-10-01Renamed some configuration variables for uniformity, see CHANGES.David Aspinall
1999-10-01Added interrupt button to toolbarDavid Aspinall
1999-10-01Fix toolbar in wrong buffer bug; delete defunct itimers.David Aspinall
1999-09-29Menu name.David Aspinall
1999-09-28More reorganizing of menus and keybindings with aim of usability in mind.David Aspinall
1999-09-28Reorganization of menus: made a single menu but flattened Scripting submenu.David Aspinall
1999-09-28Made Scripting menu entry item on menubar.David Aspinall
1999-09-28Longer menu names, allowed some toolbar items to be omitted from menu.David Aspinall
1999-09-27Changed button order.David Aspinall
1999-09-23Added implementation of proof-toolbar-findDavid Aspinall
1999-09-22Bug in command button for toolbar.David Aspinall
1999-09-22Added interval timer to reduce flickeriness of refresh.David Aspinall
1999-09-22Added find and help buttons. Find does nothing at the moment.David Aspinall
1999-09-22Button name changeDavid Aspinall
1999-09-21Add and remove proof-toolbar-refresh to/from proof-state-change-hook.David Aspinall
1999-09-13Added function to refresh toolbarDavid Aspinall
1999-09-13Added new toolbar buttons, streamlined code to work from a tableDavid Aspinall
1999-05-11Add toggle for proof toolbar to menuDavid Aspinall
1998-12-17Updated docstring.David Aspinall
1998-12-15made many minor changes to the documentationThomas Kleymann
1998-12-11Removed check for proof script buffer from retraction enabler.David Aspinall
1998-12-10Changed name of proof-toolbar-inhibit variable for uniformity.David Aspinall
1998-11-25Toolbar tip for restart changed.David Aspinall
1998-11-25Docstring fixes, minor improvements.David Aspinall
1998-11-20Reimplemented functions to shut down and restart proof process.David Aspinall
1998-11-20BIG CHANGES -- SORRY!David Aspinall
1998-11-03Added menu made from toolbar commands, called "Scripting".David Aspinall
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-28Added proof-toolbar-follow-mode user option and functions to supportDavid Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-26proof-check-process-available replaced by *two* functions:David Aspinall
1998-10-22Added todo for clean byte compileDavid Aspinall
1998-10-21o Improved error messagesThomas Kleymann
1998-10-18relaxed conditions in light of new multiple files supportThomas Kleymann
1998-10-18Reimplemented multiple file proof developmentsThomas Kleymann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:16:30 +0000