aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-toolbar.el
Commit message (Collapse)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
| | | | | | | | | | | | | | | | - add support for proof-tree displays (currently Coq only) - new file generic/proof-tree.el contains generic code - Coq specific code has been added to coq/coq.el Changes to existing Proof General functions: - proof-shell-exec-loop and proof-shell-filter-manage-output call proof-tree display functions, when the proof-tree display is on - proof-shell-exec-loop returns t if proof-action-list is empty _or_ contains only items for updating the proof-tree - proof-shell-should-be-silent returns nil when the proof-tree display is on - coq-last-prompt-info, coq-last-prompt-info-safe return as additional 4th element the name of the current proof
* Remove PG prefix from toolbar button names (needed for disambiguity in older ↵Gravatar David Aspinall2011-08-23
| | | | Emacsen, displayed in Emacs 24 UI)
* 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
| | | | to not clash with standard toolbar buttons. Doesn't yet solve issue completely.
* 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 ↵Gravatar David Aspinall2008-07-09
| | | | cause breakage on older Emacs (tested on 22.2).
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
|
* Many rearrangements for compatibility, efficient/correct compilation, ↵Gravatar David Aspinall2008-01-15
| | | | | | | namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
* 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 ↵Gravatar David Aspinall2006-10-27
| | | | more Emacs ports easily
* 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
| | | | so that enablers work at least as well as they did before...
* 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
| | | | | Remove support for obsolete 1-bit xbm images Update comments
* 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 ↵Gravatar David Aspinall2000-09-13
| | | | proof-config to allow easier configuration.
* 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-06-26 03:49:44 +0000