aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-toolbar.el
Commit message (Expand)AuthorAge
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Patch to allow byte compilation without X, reported on Gentoo via Ulrich MuellerGravatar David Aspinall2012-07-15
* fix compilation with emacs23-nox of DebianGravatar Hendrik Tews2012-03-01
* merge ProofTreeBranch into main trunk:Gravatar Hendrik Tews2012-01-03
* Remove PG prefix from toolbar button names (needed for disambiguity in older ...Gravatar David Aspinall2011-08-23
* Trivial comment adjustment.Gravatar David Aspinall2010-09-22
* Attempt to fix #352 by ensuring symbol in toolbar keymap is given a prefixGravatar David Aspinall2010-09-20
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Clean compileGravatar David Aspinall2009-09-10
* proof-toolbar-setup: redraw-displayGravatar David Aspinall2009-09-09
* proof-toolbar-setup: do the right thing (map across all PG buffers)Gravatar David Aspinall2009-09-09
* Include macros for compileGravatar David Aspinall2009-09-06
* DocsGravatar David Aspinall2009-09-06
* Clean whitespaceGravatar David Aspinall2009-09-05
* Fix compile warningsGravatar David Aspinall2009-08-28
* Add identifier info command to toolbarGravatar David Aspinall2009-08-14
* Rename lockedend -> homeGravatar David Aspinall2009-08-07
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may cau...Gravatar David Aspinall2008-07-09
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Remove low color-depth images; use GNU Emacs-specific toolbar imagesGravatar David Aspinall2007-12-12
* Comments.Gravatar David Aspinall2007-12-10
* Rationalise testing for different values of window-system, to/and support mor...Gravatar David Aspinall2006-10-27
* Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"Gravatar David Aspinall2005-09-21
* Fix Emacs icon name clash problemGravatar David Aspinall2004-03-01
* Update email and web addressesGravatar David Aspinall2004-02-08
* Documentation.Gravatar David Aspinall2003-03-17
* Fix sloppy uses of message/concatGravatar David Aspinall2002-08-28
* Add menu entry for toggling visibilityGravatar David Aspinall2002-08-09
* Generalise proof elements to include comments, show/hiding of comments.Gravatar David Aspinall2002-08-08
* GPLGravatar David Aspinall2002-06-21
* Year changesGravatar David Aspinall2002-03-21
* Add support for toolbars on Emacs 21.Gravatar David Aspinall2001-12-11
* Fix fudged enabler to call button function interactively.Gravatar David Aspinall2001-10-04
* Add hide/show commands instead of make proofs visibleGravatar David Aspinall2001-08-16
* Revert to removing and re-adding specifiers for toolbar,Gravatar David Aspinall2001-08-01
* Various changes for win32 compatibilityGravatar Christophe Raffalli2001-07-25
* Clean for compileGravatar David Aspinall2001-07-09
* Add visible enable commandGravatar David Aspinall2000-12-14
* Make toolbar enablers work appropriately from non-scripting buffersGravatar David Aspinall2000-09-23
* Removed proof-toolbar-entries-default and <PA>-toolbar-entries.Gravatar David Aspinall2000-09-13
* Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to p...Gravatar David Aspinall2000-09-13
* Support toolbar in gtk-xemacsGravatar David Aspinall2000-06-15
* When button enablers disabled, don't use itimer or after-change hook.Gravatar David Aspinall2000-05-25
* Next button is enabled whenever locked region is not full.Gravatar David Aspinall2000-05-25
* Use proof-deftoggle macro.Gravatar David Aspinall2000-05-11
* Improved loadingGravatar David Aspinall2000-05-09
* Added menu entry for proof-goto-end-of-locked.Gravatar David Aspinall2000-05-05
* Let Windows use the toolbar too.Gravatar David Aspinall2000-03-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 11:15:20 +0000