| Age | Commit message (Expand) | Author |
|---|
| 2008-01-16 | Reduce compiler warnings. Minor fixes. | David Aspinall |
| 2008-01-15 | Many rearrangements for compatibility, efficient/correct compilation, namespa... | David Aspinall |
| 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 mor... | David Aspinall |
| 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 |
| 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 |
| 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 p... | David Aspinall |
| 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 |
| 2000-03-19 | Added menu entry for proof-undo-and-delete-last-successful-command | David Aspinall |
| 2000-03-09 | Edited a tooltip. | David Aspinall |
| 1999-11-23 | Rearrange comments. | David Aspinall |
| 1999-11-22 | Moved goto button. | David Aspinall |
| 1999-11-19 | Added goto button | David Aspinall |
| 1999-11-15 | Moved code for user-commands to proof-script.el. | David Aspinall |
| 1999-11-10 | Reorganized user options. Special new code for boolean settings. | David Aspinall |
| 1999-11-09 | Generic support for x-symbol tuned up. | David Aspinall |
| 1999-11-08 | Copyright messages updated. | David Aspinall |
| 1999-10-15 | FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch. | David Aspinall |
| 1999-10-12 | Added proof-toolbar-use-enablers setting, and automatically | David Aspinall |
| 1999-10-06 | 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-01 | Renamed some configuration variables for uniformity, see CHANGES. | David Aspinall |
| 1999-10-01 | Added interrupt button to toolbar | David Aspinall |
| 1999-10-01 | Fix toolbar in wrong buffer bug; delete defunct itimers. | David Aspinall |
| 1999-09-29 | Menu name. | David Aspinall |
| 1999-09-28 | More reorganizing of menus and keybindings with aim of usability in mind. | David Aspinall |
