aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-toolbar.el
AgeCommit message (Collapse)Author
2004-03-01Fix Emacs icon name clash problemDavid Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2003-03-17Documentation.David Aspinall
2002-08-28Fix sloppy uses of message/concatDavid Aspinall
2002-08-09Add menu entry for toggling visibilityDavid Aspinall
2002-08-08Generalise proof elements to include comments, show/hiding of comments.David Aspinall
2002-06-21GPLDavid Aspinall
2002-03-21Year changesDavid Aspinall
2001-12-11Add support for toolbars on Emacs 21.David Aspinall
2001-10-04Fix fudged enabler to call button function interactively.David Aspinall
2001-08-16Add hide/show commands instead of make proofs visibleDavid Aspinall
2001-08-01Revert to removing and re-adding specifiers for toolbar,David Aspinall
so that enablers work at least as well as they did before...
2001-07-25Various changes for win32 compatibilityChristophe Raffalli
2001-07-09Clean for compileDavid Aspinall
2000-12-14Add visible enable commandDavid Aspinall
2000-09-23Make toolbar enablers work appropriately from non-scripting buffersDavid Aspinall
Remove support for obsolete 1-bit xbm images Update comments
2000-09-13Removed proof-toolbar-entries-default and <PA>-toolbar-entries.David Aspinall
2000-09-13Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to ↵David Aspinall
proof-config to allow easier configuration.
2000-06-15Support toolbar in gtk-xemacsDavid Aspinall
2000-05-25When button enablers disabled, don't use itimer or after-change hook.David Aspinall
2000-05-25Next button is enabled whenever locked region is not full.David Aspinall
2000-05-11Use proof-deftoggle macro.David Aspinall
2000-05-09Improved loadingDavid Aspinall
2000-05-05Added menu entry for proof-goto-end-of-locked.David Aspinall
2000-03-23Let Windows use the toolbar too.David Aspinall
2000-03-19Added menu entry for proof-undo-and-delete-last-successful-commandDavid Aspinall
2000-03-09Edited a tooltip.David Aspinall
1999-11-23Rearrange comments.David Aspinall
1999-11-22Moved goto button.David Aspinall
1999-11-19Added goto buttonDavid Aspinall
1999-11-15Moved code for user-commands to proof-script.el.David Aspinall
1999-11-10Reorganized user options. Special new code for boolean settings.David Aspinall
1999-11-09Generic support for x-symbol tuned up.David Aspinall
1999-11-08Copyright messages updated.David Aspinall
1999-10-15FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.David Aspinall
1999-10-12Added proof-toolbar-use-enablers setting, and automaticallyDavid Aspinall
disable enablers if < XEmacs 21.
1999-10-06after-change-functions only changed locally, only for script buffers.David Aspinall
1999-10-06FIXME addedDavid Aspinall
1999-10-06Added 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-01Renamed some configuration variables for uniformity, see CHANGES.David Aspinall
1999-10-01Added interrupt button to toolbarDavid Aspinall
1999-10-01Fix toolbar in wrong buffer bug; delete defunct itimers.David Aspinall
1999-09-29Menu name.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-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-27Changed button order.David Aspinall
1999-09-23Added implementation of proof-toolbar-findDavid Aspinall
1999-09-22Bug in command button for toolbar.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 03:05:12 +0000