index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-toolbar.el
Commit message (
Expand
)
Author
Age
*
GPL
David Aspinall
2002-06-21
*
Year changes
David Aspinall
2002-03-21
*
Add support for toolbars on Emacs 21.
David Aspinall
2001-12-11
*
Fix fudged enabler to call button function interactively.
David Aspinall
2001-10-04
*
Add hide/show commands instead of make proofs visible
David Aspinall
2001-08-16
*
Revert to removing and re-adding specifiers for toolbar,
David Aspinall
2001-08-01
*
Various changes for win32 compatibility
Christophe Raffalli
2001-07-25
*
Clean for compile
David Aspinall
2001-07-09
*
Add visible enable command
David Aspinall
2000-12-14
*
Make toolbar enablers work appropriately from non-scripting buffers
David Aspinall
2000-09-23
*
Removed proof-toolbar-entries-default and <PA>-toolbar-entries.
David Aspinall
2000-09-13
*
Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to p...
David Aspinall
2000-09-13
*
Support toolbar in gtk-xemacs
David Aspinall
2000-06-15
*
When button enablers disabled, don't use itimer or after-change hook.
David Aspinall
2000-05-25
*
Next button is enabled whenever locked region is not full.
David Aspinall
2000-05-25
*
Use proof-deftoggle macro.
David Aspinall
2000-05-11
*
Improved loading
David Aspinall
2000-05-09
*
Added menu entry for proof-goto-end-of-locked.
David Aspinall
2000-05-05
*
Let Windows use the toolbar too.
David Aspinall
2000-03-23
*
Added menu entry for proof-undo-and-delete-last-successful-command
David Aspinall
2000-03-19
*
Edited a tooltip.
David Aspinall
2000-03-09
*
Rearrange comments.
David Aspinall
1999-11-23
*
Moved goto button.
David Aspinall
1999-11-22
*
Added goto button
David Aspinall
1999-11-19
*
Moved code for user-commands to proof-script.el.
David Aspinall
1999-11-15
*
Reorganized user options. Special new code for boolean settings.
David Aspinall
1999-11-10
*
Generic support for x-symbol tuned up.
David Aspinall
1999-11-09
*
Copyright messages updated.
David Aspinall
1999-11-08
*
FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.
David Aspinall
1999-10-15
*
Added proof-toolbar-use-enablers setting, and automatically
David Aspinall
1999-10-12
*
after-change-functions only changed locally, only for script buffers.
David Aspinall
1999-10-06
*
FIXME added
David Aspinall
1999-10-06
*
Added proof-retract-buffer symmetric to proof-process-buffer.
David Aspinall
1999-10-06
*
Renamed some configuration variables for uniformity, see CHANGES.
David Aspinall
1999-10-01
*
Added interrupt button to toolbar
David Aspinall
1999-10-01
*
Fix toolbar in wrong buffer bug; delete defunct itimers.
David Aspinall
1999-10-01
*
Menu name.
David Aspinall
1999-09-29
*
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
*
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
*
Changed button order.
David Aspinall
1999-09-27
*
Added implementation of proof-toolbar-find
David Aspinall
1999-09-23
*
Bug in command button for toolbar.
David Aspinall
1999-09-22
*
Added interval timer to reduce flickeriness of refresh.
David Aspinall
1999-09-22
*
Added find and help buttons. Find does nothing at the moment.
David Aspinall
1999-09-22
*
Button name change
David Aspinall
1999-09-22
*
Add and remove proof-toolbar-refresh to/from proof-state-change-hook.
David Aspinall
1999-09-21
*
Added function to refresh toolbar
David Aspinall
1999-09-13
*
Added new toolbar buttons, streamlined code to work from a table
David Aspinall
1999-09-13
[next]