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
*
Patch to allow byte compilation without X, reported on Gentoo via Ulrich Mueller
David Aspinall
2012-07-15
*
fix compilation with emacs23-nox of Debian
Hendrik Tews
2012-03-01
*
merge ProofTreeBranch into main trunk:
Hendrik Tews
2012-01-03
*
Remove PG prefix from toolbar button names (needed for disambiguity in older ...
David Aspinall
2011-08-23
*
Trivial comment adjustment.
David Aspinall
2010-09-22
*
Attempt to fix #352 by ensuring symbol in toolbar keymap is given a prefix
David Aspinall
2010-09-20
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
Clean compile
David Aspinall
2009-09-10
*
proof-toolbar-setup: redraw-display
David Aspinall
2009-09-09
*
proof-toolbar-setup: do the right thing (map across all PG buffers)
David Aspinall
2009-09-09
*
Include macros for compile
David Aspinall
2009-09-06
*
Docs
David Aspinall
2009-09-06
*
Clean whitespace
David Aspinall
2009-09-05
*
Fix compile warnings
David Aspinall
2009-08-28
*
Add identifier info command to toolbar
David Aspinall
2009-08-14
*
Rename lockedend -> home
David Aspinall
2009-08-07
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may cau...
David Aspinall
2008-07-09
*
Reduce compiler warnings. Minor fixes.
David Aspinall
2008-01-16
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Remove low color-depth images; use GNU Emacs-specific toolbar images
David Aspinall
2007-12-12
*
Comments.
David Aspinall
2007-12-10
*
Rationalise testing for different values of window-system, to/and support mor...
David Aspinall
2006-10-27
*
Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"
David Aspinall
2005-09-21
*
Fix Emacs icon name clash problem
David Aspinall
2004-03-01
*
Update email and web addresses
David Aspinall
2004-02-08
*
Documentation.
David Aspinall
2003-03-17
*
Fix sloppy uses of message/concat
David Aspinall
2002-08-28
*
Add menu entry for toggling visibility
David Aspinall
2002-08-09
*
Generalise proof elements to include comments, show/hiding of comments.
David Aspinall
2002-08-08
*
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
[next]