| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-03-19 | Added menu entry for proof-undo-and-delete-last-successful-command | David Aspinall | |
| 2000-03-09 | Edited a tooltip. | David Aspinall | |
| 1999-11-23 | Rearrange comments. | David Aspinall | |
| 1999-11-22 | Moved goto button. | David Aspinall | |
| 1999-11-19 | Added goto button | David Aspinall | |
| 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 | |
| disable enablers if < XEmacs 21. | |||
| 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 | |
| Added question to user when switching scripting buffer, and new option proof-auto-retract-other-buffers to disable question. This reimplements the old "steal scripting?" idea. | |||
| 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 | |
| However, this is faulty: seems to be a race condition somewhere so that refreshing clears the "refresh wanted" flag, but the toolbar suggests that the proof process is busy when it isn't. | |||
| 1999-09-22 | Added find and help buttons. Find does nothing at the moment. | David Aspinall | |
| Added proof-toolbar-refresh to after-change-functions. Makes for a flickery toolbar, unfortunately. | |||
| 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 | |
| Simplified many of the toolbar functions to be aliases, and remove explicit check on enabler condition [although may want to add this back in uniformly to allow toolbar buttons to be called elsewhere?]. | |||
| 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 | |
| Scrapped proof-shell-exit-hook. Added proof-shell-quit-cmdd, proof-shell-restart-comd Fancier Scripting indicator for active scripting buffer. | |||
| 1998-11-20 | BIG CHANGES -- SORRY! | David Aspinall | |
| Replaced proof-script-buffer-list with proof-script-buffer. The list was causing too much confusion and nasty bugs used with Isabelle multiple files. Implemented proof-script-buffers and proof-restart-all-buffers, other functions. | |||
| 1998-11-03 | Added menu made from toolbar commands, called "Scripting". | David Aspinall | |
| Made file FSF GNU Emacs compatible. | |||
| 1998-11-01 | o added support for byte-compilation | Thomas Kleymann | |
| o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode | |||
| 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 | |
| it. Removed require on proof-shell from proof-toolbar. | |||
| 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 | |
| proof-activate-scripting proof-shell-ready-prover | |||
| 1998-10-22 | Added todo for clean byte compile | David Aspinall | |
| 1998-10-21 | o Improved error messages | Thomas Kleymann | |
| o Fixed bug in proof-toolbar-next | |||
| 1998-10-18 | relaxed conditions in light of new multiple files support | Thomas Kleymann | |
| 1998-10-18 | Reimplemented multiple file proof developments | Thomas Kleymann | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |