| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-02-21 | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | |
| 2012-07-15 | Patch to allow byte compilation without X, reported on Gentoo via Ulrich Mueller | David Aspinall | |
| 2012-03-01 | fix compilation with emacs23-nox of Debian | Hendrik Tews | |
| 2012-01-03 | merge ProofTreeBranch into main trunk: | Hendrik Tews | |
| - 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 | |||
| 2011-08-23 | Remove PG prefix from toolbar button names (needed for disambiguity in older ↵ | David Aspinall | |
| Emacsen, displayed in Emacs 24 UI) | |||
| 2010-09-22 | Trivial comment adjustment. | David Aspinall | |
| 2010-09-20 | Attempt to fix #352 by ensuring symbol in toolbar keymap is given a prefix | David Aspinall | |
| to not clash with standard toolbar buttons. Doesn't yet solve issue completely. | |||
| 2010-08-08 | Checkdoc cleanups | David Aspinall | |
| 2009-09-10 | Clean compile | David Aspinall | |
| 2009-09-09 | 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-06 | Include macros for compile | David Aspinall | |
| 2009-09-06 | Docs | David Aspinall | |
| 2009-09-05 | Clean whitespace | David Aspinall | |
| 2009-08-28 | Fix compile warnings | David Aspinall | |
| 2009-08-14 | Add identifier info command to toolbar | David Aspinall | |
| 2009-08-07 | Rename lockedend -> home | David Aspinall | |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall | |
| 2008-07-09 | Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may ↵ | David Aspinall | |
| cause breakage on older Emacs (tested on 22.2). | |||
| 2008-01-16 | Reduce compiler warnings. Minor fixes. | David Aspinall | |
| 2008-01-15 | Many rearrangements for compatibility, efficient/correct compilation, ↵ | David Aspinall | |
| namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs). | |||
| 2007-12-12 | Remove low color-depth images; use GNU Emacs-specific toolbar images | David Aspinall | |
| 2007-12-10 | Comments. | David Aspinall | |
| 2006-10-27 | Rationalise testing for different values of window-system, to/and support ↵ | David Aspinall | |
| more Emacs ports easily | |||
| 2005-09-21 | Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac" | David Aspinall | |
| 2004-03-01 | Fix Emacs icon name clash problem | David Aspinall | |
| 2004-02-08 | Update email and web addresses | David Aspinall | |
| 2003-03-17 | Documentation. | David Aspinall | |
| 2002-08-28 | Fix sloppy uses of message/concat | David Aspinall | |
| 2002-08-09 | Add menu entry for toggling visibility | David Aspinall | |
| 2002-08-08 | Generalise proof elements to include comments, show/hiding of comments. | David Aspinall | |
| 2002-06-21 | GPL | David Aspinall | |
| 2002-03-21 | Year changes | David Aspinall | |
| 2001-12-11 | Add support for toolbars on Emacs 21. | David Aspinall | |
| 2001-10-04 | Fix fudged enabler to call button function interactively. | David Aspinall | |
| 2001-08-16 | Add hide/show commands instead of make proofs visible | David Aspinall | |
| 2001-08-01 | Revert to removing and re-adding specifiers for toolbar, | David Aspinall | |
| so that enablers work at least as well as they did before... | |||
| 2001-07-25 | Various changes for win32 compatibility | Christophe Raffalli | |
| 2001-07-09 | Clean for compile | David Aspinall | |
| 2000-12-14 | Add visible enable command | David Aspinall | |
| 2000-09-23 | Make toolbar enablers work appropriately from non-scripting buffers | David Aspinall | |
| Remove support for obsolete 1-bit xbm images Update comments | |||
| 2000-09-13 | 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 ↵ | David Aspinall | |
| proof-config to allow easier configuration. | |||
| 2000-06-15 | Support toolbar in gtk-xemacs | David Aspinall | |
| 2000-05-25 | 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-11 | Use proof-deftoggle macro. | David Aspinall | |
| 2000-05-09 | Improved loading | David Aspinall | |
| 2000-05-05 | Added menu entry for proof-goto-end-of-locked. | David Aspinall | |
| 2000-03-23 | Let Windows use the toolbar too. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |