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
*
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
*
Add toggle for proof toolbar to menu
David Aspinall
1999-05-11
*
Updated docstring.
David Aspinall
1998-12-17
*
made many minor changes to the documentation
Thomas Kleymann
1998-12-15
*
Removed check for proof script buffer from retraction enabler.
David Aspinall
1998-12-11
*
Changed name of proof-toolbar-inhibit variable for uniformity.
David Aspinall
1998-12-10
*
Toolbar tip for restart changed.
David Aspinall
1998-11-25
*
Docstring fixes, minor improvements.
David Aspinall
1998-11-25
*
Reimplemented functions to shut down and restart proof process.
David Aspinall
1998-11-20
*
BIG CHANGES -- SORRY!
David Aspinall
1998-11-20
*
Added menu made from toolbar commands, called "Scripting".
David Aspinall
1998-11-03
*
o added support for byte-compilation
Thomas Kleymann
1998-11-01
*
More hacks to variable names for customize (sorry)
David Aspinall
1998-10-29
*
Added proof-toolbar-follow-mode user option and functions to support
David Aspinall
1998-10-28
*
Begun work on clean byte compilation / clarifying interfaces.
David Aspinall
1998-10-27
*
proof-check-process-available replaced by *two* functions:
David Aspinall
1998-10-26
*
Added todo for clean byte compile
David Aspinall
1998-10-22
*
o Improved error messages
Thomas Kleymann
1998-10-21
*
relaxed conditions in light of new multiple files support
Thomas Kleymann
1998-10-18
*
Reimplemented multiple file proof developments
Thomas Kleymann
1998-10-18
*
Fixed bug in proof-toolbar-qed.
David Aspinall
1998-10-12
*
Made toolbar functions interactive, needed by old XEmacs.
David Aspinall
1998-10-12
[next]