| Age | Commit message (Expand) | Author |
|---|
| 1999-11-15 | Moved code for user-commands to proof-script.el. | David Aspinall |
| 1999-11-10 | Reorganized user options. Special new code for boolean settings. | David Aspinall |
| 1999-11-09 | Generic support for x-symbol tuned up. | David Aspinall |
| 1999-11-08 | Copyright messages updated. | David Aspinall |
| 1999-10-15 | FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch. | David Aspinall |
| 1999-10-12 | Added proof-toolbar-use-enablers setting, and automatically | David Aspinall |
| 1999-10-06 | after-change-functions only changed locally, only for script buffers. | David Aspinall |
| 1999-10-06 | FIXME added | David Aspinall |
| 1999-10-06 | Added proof-retract-buffer symmetric to proof-process-buffer. | David Aspinall |
| 1999-10-01 | Renamed some configuration variables for uniformity, see CHANGES. | David Aspinall |
| 1999-10-01 | Added interrupt button to toolbar | David Aspinall |
| 1999-10-01 | Fix toolbar in wrong buffer bug; delete defunct itimers. | David Aspinall |
| 1999-09-29 | Menu name. | David Aspinall |
| 1999-09-28 | More reorganizing of menus and keybindings with aim of usability in mind. | David Aspinall |
| 1999-09-28 | Reorganization of menus: made a single menu but flattened Scripting submenu. | David Aspinall |
| 1999-09-28 | Made Scripting menu entry item on menubar. | David Aspinall |
| 1999-09-28 | Longer menu names, allowed some toolbar items to be omitted from menu. | David Aspinall |
| 1999-09-27 | Changed button order. | David Aspinall |
| 1999-09-23 | Added implementation of proof-toolbar-find | David Aspinall |
| 1999-09-22 | Bug in command button for toolbar. | David Aspinall |
| 1999-09-22 | Added interval timer to reduce flickeriness of refresh. | David Aspinall |
| 1999-09-22 | Added find and help buttons. Find does nothing at the moment. | David Aspinall |
| 1999-09-22 | Button name change | David Aspinall |
| 1999-09-21 | Add and remove proof-toolbar-refresh to/from proof-state-change-hook. | David Aspinall |
| 1999-09-13 | Added function to refresh toolbar | David Aspinall |
| 1999-09-13 | Added new toolbar buttons, streamlined code to work from a table | David Aspinall |
| 1999-05-11 | Add toggle for proof toolbar to menu | David Aspinall |
| 1998-12-17 | Updated docstring. | David Aspinall |
| 1998-12-15 | made many minor changes to the documentation | Thomas Kleymann |
| 1998-12-11 | Removed check for proof script buffer from retraction enabler. | David Aspinall |
| 1998-12-10 | Changed name of proof-toolbar-inhibit variable for uniformity. | David Aspinall |
| 1998-11-25 | Toolbar tip for restart changed. | David Aspinall |
| 1998-11-25 | Docstring fixes, minor improvements. | David Aspinall |
| 1998-11-20 | Reimplemented functions to shut down and restart proof process. | David Aspinall |
| 1998-11-20 | BIG CHANGES -- SORRY! | David Aspinall |
| 1998-11-03 | Added menu made from toolbar commands, called "Scripting". | David Aspinall |
| 1998-11-01 | o added support for byte-compilation | Thomas Kleymann |
| 1998-10-29 | More hacks to variable names for customize (sorry) | David Aspinall |
| 1998-10-28 | Added proof-toolbar-follow-mode user option and functions to support | David Aspinall |
| 1998-10-27 | Begun work on clean byte compilation / clarifying interfaces. | David Aspinall |
| 1998-10-26 | proof-check-process-available replaced by *two* functions: | David Aspinall |
| 1998-10-22 | Added todo for clean byte compile | David Aspinall |
| 1998-10-21 | o Improved error messages | Thomas Kleymann |
| 1998-10-18 | relaxed conditions in light of new multiple files support | Thomas Kleymann |
| 1998-10-18 | Reimplemented multiple file proof developments | Thomas Kleymann |
| 1998-10-12 | Fixed bug in proof-toolbar-qed. | David Aspinall |
| 1998-10-12 | Made toolbar functions interactive, needed by old XEmacs. | David Aspinall |
| 1998-10-12 | Made toolbar functions interactive, needed by old XEmacs. | David Aspinall |
| 1998-10-12 | Made toolbar functions interactive, needed by old XEmacs. | David Aspinall |
| 1998-10-12 | Removed toolbar enablers. XEmacs isnt ready for them yet. | David Aspinall |
