| Commit message (Expand) | Author | Age |
* | FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch. | David Aspinall | 1999-10-15 |
* | Added proof-toolbar-use-enablers setting, and automatically | David Aspinall | 1999-10-12 |
* | 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-06 |
* | 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-10-01 |
* | Menu name. | David Aspinall | 1999-09-29 |
* | 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-28 |
* | Changed button order. | David Aspinall | 1999-09-27 |
* | Added implementation of proof-toolbar-find | David Aspinall | 1999-09-23 |
* | 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-22 |
* | Add and remove proof-toolbar-refresh to/from proof-state-change-hook. | David Aspinall | 1999-09-21 |
* | Added function to refresh toolbar | David Aspinall | 1999-09-13 |
* | Added new toolbar buttons, streamlined code to work from a table | David Aspinall | 1999-09-13 |
* | Add toggle for proof toolbar to menu | David Aspinall | 1999-05-11 |
* | Updated docstring. | David Aspinall | 1998-12-17 |
* | made many minor changes to the documentation | Thomas Kleymann | 1998-12-15 |
* | Removed check for proof script buffer from retraction enabler. | David Aspinall | 1998-12-11 |
* | Changed name of proof-toolbar-inhibit variable for uniformity. | David Aspinall | 1998-12-10 |
* | Toolbar tip for restart changed. | David Aspinall | 1998-11-25 |
* | Docstring fixes, minor improvements. | David Aspinall | 1998-11-25 |
* | Reimplemented functions to shut down and restart proof process. | David Aspinall | 1998-11-20 |
* | BIG CHANGES -- SORRY! | David Aspinall | 1998-11-20 |
* | Added menu made from toolbar commands, called "Scripting". | David Aspinall | 1998-11-03 |
* | o added support for byte-compilation | Thomas Kleymann | 1998-11-01 |
* | More hacks to variable names for customize (sorry) | David Aspinall | 1998-10-29 |
* | Added proof-toolbar-follow-mode user option and functions to support | David Aspinall | 1998-10-28 |
* | Begun work on clean byte compilation / clarifying interfaces. | David Aspinall | 1998-10-27 |
* | proof-check-process-available replaced by *two* functions: | David Aspinall | 1998-10-26 |
* | Added todo for clean byte compile | David Aspinall | 1998-10-22 |
* | o Improved error messages | Thomas Kleymann | 1998-10-21 |
* | relaxed conditions in light of new multiple files support | Thomas Kleymann | 1998-10-18 |
* | Reimplemented multiple file proof developments | Thomas Kleymann | 1998-10-18 |
* | 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 | 1998-10-12 |
* | Made toolbar functions leave point alone, mostly. | David Aspinall | 1998-10-12 |
* | Doc strings | David Aspinall | 1998-10-12 |
* | Added detection of less than 16 bit colour depth to display 8bit | David Aspinall | 1998-10-07 |
* | Updated maintainer tags to remove lego email address. | David Aspinall | 1998-10-01 |