aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-toolbar.el
AgeCommit message (Expand)Author
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2012-07-15Patch to allow byte compilation without X, reported on Gentoo via Ulrich MuellerDavid Aspinall
2012-03-01fix compilation with emacs23-nox of DebianHendrik Tews
2012-01-03merge ProofTreeBranch into main trunk:Hendrik Tews
2011-08-23Remove PG prefix from toolbar button names (needed for disambiguity in older ...David Aspinall
2010-09-22Trivial comment adjustment.David Aspinall
2010-09-20Attempt to fix #352 by ensuring symbol in toolbar keymap is given a prefixDavid Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-09proof-toolbar-setup: redraw-displayDavid Aspinall
2009-09-09proof-toolbar-setup: do the right thing (map across all PG buffers)David Aspinall
2009-09-06Include macros for compileDavid Aspinall
2009-09-06DocsDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-08-28Fix compile warningsDavid Aspinall
2009-08-14Add identifier info command to toolbarDavid Aspinall
2009-08-07Rename lockedend -> homeDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-09Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may cau...David Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-12-12Remove low color-depth images; use GNU Emacs-specific toolbar imagesDavid Aspinall
2007-12-10Comments.David Aspinall
2006-10-27Rationalise testing for different values of window-system, to/and support mor...David Aspinall
2005-09-21Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"David Aspinall
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
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
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 p...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:38:19 +0000