aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Cleaned up. Fixed bug in proof-queue-or-locked-endGravatar David Aspinall1999-10-06
* docstringsGravatar David Aspinall1999-10-06
* TypoGravatar David Aspinall1999-10-06
* BUG FIX: hopefully fixed spurious locked region problem.Gravatar David Aspinall1999-10-06
* FIXME addedGravatar David Aspinall1999-10-06
* Added proof-tidy-response user option.Gravatar David Aspinall1999-10-06
* face arg for proof-response-buffer-display is now optionalGravatar David Aspinall1999-10-06
* docstring and error message improvements.Gravatar David Aspinall1999-10-06
* settings for (de)activating scripting, and proof-tidy-response.Gravatar David Aspinall1999-10-06
* remove dead codeGravatar David Aspinall1999-10-06
* proof-try-command is deprecatedGravatar David Aspinall1999-10-06
* Updates.Gravatar David Aspinall1999-10-06
* Added proof-retract-buffer symmetric to proof-process-buffer.Gravatar David Aspinall1999-10-06
* Fixup name changesGravatar David Aspinall1999-10-01
* Set version tag for new release.Gravatar David Aspinall1999-10-01
* Renamed some configuration variables for uniformity, see CHANGES.Gravatar David Aspinall1999-10-01
* Removed dubious 'dont own process' error in proof-interrupt-process.Gravatar David Aspinall1999-10-01
* Added interrupt button to toolbarGravatar David Aspinall1999-10-01
* Fix bug for proof-shell-leave-annotations-in-output.Gravatar David Aspinall1999-10-01
* Fix toolbar in wrong buffer bug; delete defunct itimers.Gravatar David Aspinall1999-10-01
* Set version tag for new release.Gravatar David Aspinall1999-09-30
* Set version tag for new release.Gravatar David Aspinall1999-09-29
* Unhappily added proof-shell-leave-annotations-in-output hack.Gravatar David Aspinall1999-09-29
* Extended documentation for proof-shell-restart.Gravatar David Aspinall1999-09-29
* Menu name.Gravatar David Aspinall1999-09-29
* Fixes so that proof-strict-read-only can be toggled within a session (via res...Gravatar David Aspinall1999-09-29
* Re-enabled proof-by-pointing for testing purposes only. Fixed a bug.Gravatar David Aspinall1999-09-29
* Changed name of proof-copy-span to proof-mouse-track-insert.Gravatar David Aspinall1999-09-29
* Added proof-script-command-separator. Needs work.Gravatar David Aspinall1999-09-29
* Improved proof-copy-span and renamed to proof-mouse-track-insert.Gravatar David Aspinall1999-09-29
* Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to C-bu...Gravatar David Aspinall1999-09-29
* More reorganizing of menus and keybindings with aim of usability in mind.Gravatar David Aspinall1999-09-28
* Reorganization of menus: made a single menu but flattened Scripting submenu.Gravatar David Aspinall1999-09-28
* Fix for FSF: it should load proof-toolbar too.Gravatar David Aspinall1999-09-28
* Made Scripting menu entry item on menubar.Gravatar David Aspinall1999-09-28
* Longer menu names, allowed some toolbar items to be omitted from menu.Gravatar David Aspinall1999-09-28
* Set version tag for new release.Gravatar David Aspinall1999-09-28
* Set version tag for new release.Gravatar David Aspinall1999-09-27
* Changed button order.Gravatar David Aspinall1999-09-27
* DocstringsGravatar David Aspinall1999-09-23
* Added menu binding for finding theorems.Gravatar David Aspinall1999-09-23
* Set version tag for new release.Gravatar David Aspinall1999-09-23
* Added proof-find-theorems and some hairy macros to define related commands.Gravatar David Aspinall1999-09-23
* Added implementation of proof-toolbar-findGravatar David Aspinall1999-09-23
* Trivial.Gravatar David Aspinall1999-09-23
* Added proof-find-theorems-command setting.Gravatar David Aspinall1999-09-23
* Set version tag for new release.Gravatar David Aspinall1999-09-22
* DocstringsGravatar David Aspinall1999-09-22
* proof-completed-regexp: match number 1 is response text;Gravatar Makarius Wenzel1999-09-22
* Bug in command button for toolbar.Gravatar David Aspinall1999-09-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-08 09:39:48 +0000