Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Use proof-deftoggle macro. | 2000-05-11 | |
| | |||
* | Improved loading | 2000-05-09 | |
| | |||
* | Added menu entry for proof-goto-end-of-locked. | 2000-05-05 | |
| | |||
* | Let Windows use the toolbar too. | 2000-03-23 | |
| | |||
* | Added menu entry for proof-undo-and-delete-last-successful-command | 2000-03-19 | |
| | |||
* | Edited a tooltip. | 2000-03-09 | |
| | |||
* | Rearrange comments. | 1999-11-23 | |
| | |||
* | Moved goto button. | 1999-11-22 | |
| | |||
* | Added goto button | 1999-11-19 | |
| | |||
* | Moved code for user-commands to proof-script.el. | 1999-11-15 | |
| | |||
* | Reorganized user options. Special new code for boolean settings. | 1999-11-10 | |
| | |||
* | Generic support for x-symbol tuned up. | 1999-11-09 | |
| | |||
* | Copyright messages updated. | 1999-11-08 | |
| | |||
* | FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch. | 1999-10-15 | |
| | |||
* | Added proof-toolbar-use-enablers setting, and automatically | 1999-10-12 | |
| | | | | disable enablers if < XEmacs 21. | ||
* | after-change-functions only changed locally, only for script buffers. | 1999-10-06 | |
| | |||
* | FIXME added | 1999-10-06 | |
| | |||
* | Added proof-retract-buffer symmetric to proof-process-buffer. | 1999-10-06 | |
| | | | | | | 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. | ||
* | Renamed some configuration variables for uniformity, see CHANGES. | 1999-10-01 | |
| | |||
* | Added interrupt button to toolbar | 1999-10-01 | |
| | |||
* | Fix toolbar in wrong buffer bug; delete defunct itimers. | 1999-10-01 | |
| | |||
* | Menu name. | 1999-09-29 | |
| | |||
* | More reorganizing of menus and keybindings with aim of usability in mind. | 1999-09-28 | |
| | |||
* | Reorganization of menus: made a single menu but flattened Scripting submenu. | 1999-09-28 | |
| | |||
* | Made Scripting menu entry item on menubar. | 1999-09-28 | |
| | |||
* | Longer menu names, allowed some toolbar items to be omitted from menu. | 1999-09-28 | |
| | |||
* | Changed button order. | 1999-09-27 | |
| | |||
* | Added implementation of proof-toolbar-find | 1999-09-23 | |
| | |||
* | Bug in command button for toolbar. | 1999-09-22 | |
| | |||
* | Added interval timer to reduce flickeriness of refresh. | 1999-09-22 | |
| | | | | | | 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. | ||
* | Added find and help buttons. Find does nothing at the moment. | 1999-09-22 | |
| | | | | | Added proof-toolbar-refresh to after-change-functions. Makes for a flickery toolbar, unfortunately. | ||
* | Button name change | 1999-09-22 | |
| | |||
* | Add and remove proof-toolbar-refresh to/from proof-state-change-hook. | 1999-09-21 | |
| | | | | | | 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?]. | ||
* | Added function to refresh toolbar | 1999-09-13 | |
| | |||
* | Added new toolbar buttons, streamlined code to work from a table | 1999-09-13 | |
| | |||
* | Add toggle for proof toolbar to menu | 1999-05-11 | |
| | |||
* | Updated docstring. | 1998-12-17 | |
| | |||
* | made many minor changes to the documentation | 1998-12-15 | |
| | |||
* | Removed check for proof script buffer from retraction enabler. | 1998-12-11 | |
| | |||
* | Changed name of proof-toolbar-inhibit variable for uniformity. | 1998-12-10 | |
| | |||
* | Toolbar tip for restart changed. | 1998-11-25 | |
| | |||
* | Docstring fixes, minor improvements. | 1998-11-25 | |
| | |||
* | Reimplemented functions to shut down and restart proof process. | 1998-11-20 | |
| | | | | | | Scrapped proof-shell-exit-hook. Added proof-shell-quit-cmdd, proof-shell-restart-comd Fancier Scripting indicator for active scripting buffer. | ||
* | BIG CHANGES -- SORRY! | 1998-11-20 | |
| | | | | | | | | 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. | ||
* | Added menu made from toolbar commands, called "Scripting". | 1998-11-03 | |
| | | | | Made file FSF GNU Emacs compatible. | ||
* | o added support for byte-compilation | 1998-11-01 | |
| | | | | | | | 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 | ||
* | More hacks to variable names for customize (sorry) | 1998-10-29 | |
| | |||
* | Added proof-toolbar-follow-mode user option and functions to support | 1998-10-28 | |
| | | | | it. Removed require on proof-shell from proof-toolbar. | ||
* | Begun work on clean byte compilation / clarifying interfaces. | 1998-10-27 | |
| | |||
* | proof-check-process-available replaced by *two* functions: | 1998-10-26 | |
| | | | | | proof-activate-scripting proof-shell-ready-prover |