| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 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 | Comments | David Aspinall | |
| 1999-09-22 | Button name change | David Aspinall | |
| 1999-09-22 | Whitespace | David Aspinall | |
| 1999-09-21 | Set version tag for new release. | David Aspinall | |
| 1999-09-21 | Improved docstrings for regexp vars. | David Aspinall | |
| 1999-09-21 | Comment fix. | David Aspinall | |
| Fix for FSF Emacs. | |||
| 1999-09-21 | Robustification so that new instances are easier to add | David Aspinall | |
| (allowed a bunch of regexps to be unset, safely). | |||
| 1999-09-21 | proof-shell-grab-lock runs proof-state-change-hook. | David Aspinall | |
| This results in some flickering of the toolbar (buttons disabled while region is pink), but is The Right Thing. Removed "Inferior" from buffer names. | |||
| 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-21 | Call proof-state-change-hook after asserting and retracting. | David Aspinall | |
| 1999-09-21 | Callback for proof-shell-done-invisible now runs proof-state-change-hook. | David Aspinall | |
| 1999-09-21 | Added proof-state-change-hook for toolbar enabler refreshing. | David Aspinall | |
| Comments and variable ordering tweaked. | |||
| 1999-09-13 | Removed proof-shell-completed added to eval-when-compile by mistake. | David Aspinall | |
| 1999-09-13 | Added function to refresh toolbar | David Aspinall | |
| 1999-09-13 | Added callbacks to refresh toolbar | David Aspinall | |
| 1999-09-13 | Changed peculiar message to something slightly less peculiar | David Aspinall | |
| 1999-09-13 | Set version tag for new release. | David Aspinall | |
| 1999-09-13 | Experimental fix for proof-shell-completed flag clearing. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |