| Commit message (Expand) | Author | Age |
* | 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 |
* | Edited a tooltip. | David Aspinall | 2000-03-09 |
* | Rearrange comments. | David Aspinall | 1999-11-23 |
* | Moved goto button. | David Aspinall | 1999-11-22 |
* | Added goto button | David Aspinall | 1999-11-19 |
* | Moved code for user-commands to proof-script.el. | David Aspinall | 1999-11-15 |
* | Reorganized user options. Special new code for boolean settings. | David Aspinall | 1999-11-10 |
* | Generic support for x-symbol tuned up. | David Aspinall | 1999-11-09 |
* | Copyright messages updated. | David Aspinall | 1999-11-08 |
* | FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch. | David Aspinall | 1999-10-15 |
* | Added proof-toolbar-use-enablers setting, and automatically | David Aspinall | 1999-10-12 |
* | after-change-functions only changed locally, only for script buffers. | David Aspinall | 1999-10-06 |
* | FIXME added | David Aspinall | 1999-10-06 |
* | Added proof-retract-buffer symmetric to proof-process-buffer. | David Aspinall | 1999-10-06 |
* | Renamed some configuration variables for uniformity, see CHANGES. | David Aspinall | 1999-10-01 |