| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-10-06 | Typo | David Aspinall | |
| 1999-10-06 | BUG FIX: hopefully fixed spurious locked region problem. | David Aspinall | |
| 1999-10-06 | FIXME added | David Aspinall | |
| 1999-10-06 | Added proof-tidy-response user option. | David Aspinall | |
| 1999-10-06 | face arg for proof-response-buffer-display is now optional | David Aspinall | |
| added proof-message, proof-warning, proof-debug here. | |||
| 1999-10-06 | docstring and error message improvements. | David Aspinall | |
| proof-deactivate-scripting: new implementation which allows user choice of retraction or assertion. Forms a subroutine of proof-activate-scripting. proof-activate-scripting: call proof-activate-scripting-hook *after* files are saved. proof-mark-buffer-atomic: set proof-locked end to proof-script-end, not (point-max). New functions: proof-toggle-scripting, proof-auto-deactivate-scripting, proof-script-end | |||
| 1999-10-06 | settings for (de)activating scripting, and proof-tidy-response. | David Aspinall | |
| 1999-10-06 | remove dead code | David Aspinall | |
| 1999-10-06 | proof-try-command is deprecated | David Aspinall | |
| 1999-10-06 | Updates. | 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 | Fixup name changes | David Aspinall | |
| 1999-10-01 | Set version tag for new release. | David Aspinall | |
| 1999-10-01 | Renamed some configuration variables for uniformity, see CHANGES. | David Aspinall | |
| 1999-10-01 | Removed dubious 'dont own process' error in proof-interrupt-process. | David Aspinall | |
| 1999-10-01 | Added interrupt button to toolbar | David Aspinall | |
| 1999-10-01 | Fix bug for proof-shell-leave-annotations-in-output. | David Aspinall | |
| 1999-10-01 | Fix toolbar in wrong buffer bug; delete defunct itimers. | David Aspinall | |
| 1999-09-30 | Set version tag for new release. | David Aspinall | |
| 1999-09-29 | Set version tag for new release. | David Aspinall | |
| 1999-09-29 | Unhappily added proof-shell-leave-annotations-in-output hack. | David Aspinall | |
| 1999-09-29 | Extended documentation for proof-shell-restart. | David Aspinall | |
| 1999-09-29 | Menu name. | David Aspinall | |
| 1999-09-29 | Fixes so that proof-strict-read-only can be toggled within a session (via ↵ | David Aspinall | |
| restart). | |||
| 1999-09-29 | Re-enabled proof-by-pointing for testing purposes only. Fixed a bug. | David Aspinall | |
| 1999-09-29 | Changed name of proof-copy-span to proof-mouse-track-insert. | David Aspinall | |
| 1999-09-29 | Added proof-script-command-separator. Needs work. | David Aspinall | |
| 1999-09-29 | Improved proof-copy-span and renamed to proof-mouse-track-insert. | David Aspinall | |
| Now will insert into any buffer at point, or behave as mouse-track-insert when called over a non-span (or non-vanilla command span). | |||
| 1999-09-29 | Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to ↵ | David Aspinall | |
| C-button1 | |||
| 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 | Fix for FSF: it should load proof-toolbar too. | 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 | Set version tag for new release. | David Aspinall | |
| 1999-09-27 | Set version tag for new release. | David Aspinall | |
| 1999-09-27 | Changed button order. | David Aspinall | |
| 1999-09-23 | Docstrings | David Aspinall | |
| 1999-09-23 | Added menu binding for finding theorems. | David Aspinall | |
| Added extra doc strings to hair macro definitions of functions. | |||
| 1999-09-23 | Set version tag for new release. | David Aspinall | |
| 1999-09-23 | Added proof-find-theorems and some hairy macros to define related commands. | David Aspinall | |
| 1999-09-23 | Added implementation of proof-toolbar-find | David Aspinall | |
| 1999-09-23 | Trivial. | David Aspinall | |
| 1999-09-23 | Added proof-find-theorems-command setting. | David Aspinall | |
| 1999-09-22 | Set version tag for new release. | David Aspinall | |
| 1999-09-22 | Docstrings | David Aspinall | |
| 1999-09-22 | proof-completed-regexp: match number 1 is response text; | Makarius Wenzel | |
| 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 | Whitespace. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |