Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Checkdoc cleanups | 2010-08-08 | |
| | |||
* | Clean compile | 2009-09-10 | |
| | |||
* | proof-toolbar-setup: redraw-display | 2009-09-09 | |
| | |||
* | proof-toolbar-setup: do the right thing (map across all PG buffers) | 2009-09-09 | |
| | |||
* | Include macros for compile | 2009-09-06 | |
| | |||
* | Docs | 2009-09-06 | |
| | |||
* | Clean whitespace | 2009-09-05 | |
| | |||
* | Fix compile warnings | 2009-08-28 | |
| | |||
* | Add identifier info command to toolbar | 2009-08-14 | |
| | |||
* | Rename lockedend -> home | 2009-08-07 | |
| | |||
* | Merge changes from Version4Branch. | 2008-07-24 | |
| | |||
* | Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may ↵ | 2008-07-09 | |
| | | | | cause breakage on older Emacs (tested on 22.2). | ||
* | Reduce compiler warnings. Minor fixes. | 2008-01-16 | |
| | |||
* | Many rearrangements for compatibility, efficient/correct compilation, ↵ | 2008-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 images | 2007-12-12 | |
| | |||
* | Comments. | 2007-12-10 | |
| | |||
* | Rationalise testing for different values of window-system, to/and support ↵ | 2006-10-27 | |
| | | | | more Emacs ports easily | ||
* | Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac" | 2005-09-21 | |
| | |||
* | Fix Emacs icon name clash problem | 2004-03-01 | |
| | |||
* | Update email and web addresses | 2004-02-08 | |
| | |||
* | Documentation. | 2003-03-17 | |
| | |||
* | Fix sloppy uses of message/concat | 2002-08-28 | |
| | |||
* | Add menu entry for toggling visibility | 2002-08-09 | |
| | |||
* | Generalise proof elements to include comments, show/hiding of comments. | 2002-08-08 | |
| | |||
* | GPL | 2002-06-21 | |
| | |||
* | Year changes | 2002-03-21 | |
| | |||
* | Add support for toolbars on Emacs 21. | 2001-12-11 | |
| | |||
* | Fix fudged enabler to call button function interactively. | 2001-10-04 | |
| | |||
* | Add hide/show commands instead of make proofs visible | 2001-08-16 | |
| | |||
* | Revert to removing and re-adding specifiers for toolbar, | 2001-08-01 | |
| | | | | so that enablers work at least as well as they did before... | ||
* | Various changes for win32 compatibility | 2001-07-25 | |
| | |||
* | Clean for compile | 2001-07-09 | |
| | |||
* | Add visible enable command | 2000-12-14 | |
| | |||
* | Make toolbar enablers work appropriately from non-scripting buffers | 2000-09-23 | |
| | | | | | Remove support for obsolete 1-bit xbm images Update comments | ||
* | Removed proof-toolbar-entries-default and <PA>-toolbar-entries. | 2000-09-13 | |
| | |||
* | Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to ↵ | 2000-09-13 | |
| | | | | proof-config to allow easier configuration. | ||
* | Support toolbar in gtk-xemacs | 2000-06-15 | |
| | |||
* | When button enablers disabled, don't use itimer or after-change hook. | 2000-05-25 | |
| | |||
* | Next button is enabled whenever locked region is not full. | 2000-05-25 | |
| | |||
* | Use proof-deftoggle macro. | 2000-05-11 | |
| | |||
* | Improved loading | 2000-05-09 | |
| | |||
* | Added menu entry for proof-goto-end-of-locked. | 2000-05-05 | |
| | |||
* | Let Windows use the toolbar too. | 2000-03-23 | |
| | |||
* | Added menu entry for proof-undo-and-delete-last-successful-command | 2000-03-19 | |
| | |||
* | Edited a tooltip. | 2000-03-09 | |
| | |||
* | Rearrange comments. | 1999-11-23 | |
| | |||
* | Moved goto button. | 1999-11-22 | |
| | |||
* | Added goto button | 1999-11-19 | |
| | |||
* | Moved code for user-commands to proof-script.el. | 1999-11-15 | |
| | |||
* | Reorganized user options. Special new code for boolean settings. | 1999-11-10 | |
| |