aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
1999-09-29Changed name of proof-copy-span to proof-mouse-track-insert.David Aspinall
1999-09-29Added proof-script-command-separator. Needs work.David Aspinall
1999-09-29Improved proof-copy-span and renamed to proof-mouse-track-insert.David Aspinall
1999-09-29Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to C-bu...David Aspinall
1999-09-28More reorganizing of menus and keybindings with aim of usability in mind.David Aspinall
1999-09-28Reorganization of menus: made a single menu but flattened Scripting submenu.David Aspinall
1999-09-28Fix for FSF: it should load proof-toolbar too.David Aspinall
1999-09-28Made Scripting menu entry item on menubar.David Aspinall
1999-09-28Longer menu names, allowed some toolbar items to be omitted from menu.David Aspinall
1999-09-28Set version tag for new release.David Aspinall
1999-09-27Set version tag for new release.David Aspinall
1999-09-27Changed button order.David Aspinall
1999-09-23DocstringsDavid Aspinall
1999-09-23Added menu binding for finding theorems.David Aspinall
1999-09-23Set version tag for new release.David Aspinall
1999-09-23Added proof-find-theorems and some hairy macros to define related commands.David Aspinall
1999-09-23Added implementation of proof-toolbar-findDavid Aspinall
1999-09-23Trivial.David Aspinall
1999-09-23Added proof-find-theorems-command setting.David Aspinall
1999-09-22Set version tag for new release.David Aspinall
1999-09-22DocstringsDavid Aspinall
1999-09-22proof-completed-regexp: match number 1 is response text;Makarius Wenzel
1999-09-22Bug in command button for toolbar.David Aspinall
1999-09-22Added interval timer to reduce flickeriness of refresh.David Aspinall
1999-09-22Whitespace.David Aspinall
1999-09-22Added find and help buttons. Find does nothing at the moment.David Aspinall
1999-09-22CommentsDavid Aspinall
1999-09-22Button name changeDavid Aspinall
1999-09-22WhitespaceDavid Aspinall
1999-09-21Set version tag for new release.David Aspinall
1999-09-21Improved docstrings for regexp vars.David Aspinall
1999-09-21Comment fix.David Aspinall
1999-09-21Robustification so that new instances are easier to addDavid Aspinall
1999-09-21proof-shell-grab-lock runs proof-state-change-hook.David Aspinall
1999-09-21Add and remove proof-toolbar-refresh to/from proof-state-change-hook.David Aspinall
1999-09-21Call proof-state-change-hook after asserting and retracting.David Aspinall
1999-09-21Callback for proof-shell-done-invisible now runs proof-state-change-hook.David Aspinall
1999-09-21Added proof-state-change-hook for toolbar enabler refreshing.David Aspinall
1999-09-13Removed proof-shell-completed added to eval-when-compile by mistake.David Aspinall
1999-09-13Added function to refresh toolbarDavid Aspinall
1999-09-13Added callbacks to refresh toolbarDavid Aspinall
1999-09-13Changed peculiar message to something slightly less peculiarDavid Aspinall
1999-09-13Set version tag for new release.David Aspinall
1999-09-13Experimental fix for proof-shell-completed flag clearing.David Aspinall
1999-09-13Added new toolbar buttons, streamlined code to work from a tableDavid Aspinall
1999-09-13Added proof-terminal-string to proof-execute-minibuffer-cmd.David Aspinall
1999-09-13Removed transparent gif from splash screen because XEmacs can'tDavid Aspinall
1999-09-13docstring improvements for proof-guess-command-nameDavid Aspinall
1999-09-13Made a release (ProofGeneral.spec, proof-site.el, download.phtml)David Aspinall
1999-09-13Fix so that buffer names are shorter (esp for Coq).David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 20:34:04 +0000