| Age | Commit message (Expand) | Author |
|---|
| 2008-01-30 | Update year | David Aspinall |
| 2008-01-29 | proof-interrupt-process: avoid effect of comint-skip-input (printing interrup... | David Aspinall |
| 2008-01-17 | Add input history ring. Cleanup comments. | David Aspinall |
| 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 | Add undo command to context menu | David Aspinall |
| 2007-12-10 | Emacs compatibility/API updates: string-to-int -> string-to-number | David Aspinall |
| 2004-11-30 | Docstring: clarify arg type in proof-define-assitant-command-witharg | David Aspinall |
| 2004-11-30 | Updated. | David Aspinall |
| 2004-06-24 | Improve handling of intermittent fontification for trace buffers. | David Aspinall |
| 2004-06-16 | Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se... | David Aspinall |
| 2004-04-27 | Make response buffer hint shorter | David Aspinall |
| 2004-04-14 | Add functions for Imenu and Speedbar | David Aspinall |
| 2004-04-13 | Add hint to C-c C-l; cleanup hints, add menu for C-c C-l | David Aspinall |
| 2004-04-02 | Comments. Beginning of drag region code. | David Aspinall |
| 2004-02-18 | holes implementation, it uses span.el. mouse keybindings work | Pierre Courtieu |
| 2003-06-09 | Fix typo. | David Aspinall |
| 2003-06-08 | Extend proof-shell-identifier-under-mouse to allow regions, and also depend o... | David Aspinall |
| 2003-06-08 | Robustness in pg-identifier-under-mouse-query. | David Aspinall |
| 2003-06-08 | GNU Emacs keybinding for pg-identifier-under-mouse-query | David Aspinall |
| 2003-06-08 | Add simple but effective identifier-under-mouse-query command. | David Aspinall |
| 2003-06-05 | By default, do not move pointer on interrupt, only error; tune hints for spans | David Aspinall |
| 2003-05-24 | Rotate buffers display can display next buffer | David Aspinall |
| 2003-05-24 | Added hint mechanism | David Aspinall |
| 2003-02-24 | Fix some compile errors | David Aspinall |
| 2002-12-29 | Add followdown | David Aspinall |
| 2002-08-30 | Updated. | David Aspinall |
| 2002-08-30 | GNU Emacs: avoid using own-clipboard | David Aspinall |
| 2002-08-16 | Change order of menu | David Aspinall |
| 2002-08-16 | pg-goals -> pg-assoc | David Aspinall |
| 2002-08-12 | Fix for moving span duplicable prob. Still not really working | David Aspinall |
| 2002-08-08 | Generalise proof elements to include comments, show/hiding of comments. | David Aspinall |
| 2002-08-08 | Add span context menu support for Emacs21. | David Aspinall |
| 2002-08-08 | Fix condition for displaying dependency menu | David Aspinall |
| 2002-07-16 | Refactor several variable names; clean up, doc subterm markup and output disp... | David Aspinall |
| 2002-06-21 | GPL | David Aspinall |
| 2002-05-03 | Began adding generic line-width adjust | David Aspinall |
| 2002-03-21 | Year changes | David Aspinall |
| 2002-02-23 | Bug fix in proof-goto-command-end. Decode x-syms in pg-insert-output-as-comm... | David Aspinall |
| 2001-09-05 | Improved span moving and navigation commands. | David Aspinall |
| 2001-09-04 | Add commands to move spans up/down. Enable features only if experimental fla... | David Aspinall |
| 2001-09-03 | Generalise context menu for other spans; grey out show/hide when unavailable. | David Aspinall |
| 2001-08-31 | Added copy command, call to dependency menu if proof-depends is loaded. | David Aspinall |
| 2001-08-30 | pg-insert-last-output-as-comment strips special annotations from last output ... | David Aspinall |
| 2001-08-16 | Function name fixes, use idiom property in span for popup menu name. | David Aspinall |
| 2001-07-09 | Clean-up compile | David Aspinall |
| 2001-05-08 | Copyright date updated | David Aspinall |
| 2000-12-20 | goalsave -> proof | David Aspinall |
| 2000-12-14 | Factor out some material from proof-script.el | David Aspinall |
