aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-user.el
Commit message (Expand)AuthorAge
* Docstring: clarify arg type in proof-define-assitant-command-withargGravatar David Aspinall2004-11-30
* Updated.Gravatar David Aspinall2004-11-30
* Improve handling of intermittent fontification for trace buffers.Gravatar David Aspinall2004-06-24
* Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...Gravatar David Aspinall2004-06-16
* Make response buffer hint shorterGravatar David Aspinall2004-04-27
* Add functions for Imenu and SpeedbarGravatar David Aspinall2004-04-14
* Add hint to C-c C-l; cleanup hints, add menu for C-c C-lGravatar David Aspinall2004-04-13
* Comments. Beginning of drag region code.Gravatar David Aspinall2004-04-02
* holes implementation, it uses span.el. mouse keybindings workGravatar Pierre Courtieu2004-02-18
* Fix typo.Gravatar David Aspinall2003-06-09
* Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...Gravatar David Aspinall2003-06-08
* Robustness in pg-identifier-under-mouse-query.Gravatar David Aspinall2003-06-08
* GNU Emacs keybinding for pg-identifier-under-mouse-queryGravatar David Aspinall2003-06-08
* Add simple but effective identifier-under-mouse-query command.Gravatar David Aspinall2003-06-08
* By default, do not move pointer on interrupt, only error; tune hints for spansGravatar David Aspinall2003-06-05
* Rotate buffers display can display next bufferGravatar David Aspinall2003-05-24
* Added hint mechanismGravatar David Aspinall2003-05-24
* Fix some compile errorsGravatar David Aspinall2003-02-24
* Add followdownGravatar David Aspinall2002-12-29
* Updated.Gravatar David Aspinall2002-08-30
* GNU Emacs: avoid using own-clipboardGravatar David Aspinall2002-08-30
* Change order of menuGravatar David Aspinall2002-08-16
* pg-goals -> pg-assocGravatar David Aspinall2002-08-16
* Fix for moving span duplicable prob. Still not really workingGravatar David Aspinall2002-08-12
* Generalise proof elements to include comments, show/hiding of comments.Gravatar David Aspinall2002-08-08
* Add span context menu support for Emacs21.Gravatar David Aspinall2002-08-08
* Fix condition for displaying dependency menuGravatar David Aspinall2002-08-08
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* GPLGravatar David Aspinall2002-06-21
* Began adding generic line-width adjustGravatar David Aspinall2002-05-03
* Year changesGravatar David Aspinall2002-03-21
* Bug fix in proof-goto-command-end. Decode x-syms in pg-insert-output-as-comm...Gravatar David Aspinall2002-02-23
* Improved span moving and navigation commands.Gravatar David Aspinall2001-09-05
* Add commands to move spans up/down. Enable features only if experimental fla...Gravatar David Aspinall2001-09-04
* Generalise context menu for other spans; grey out show/hide when unavailable.Gravatar David Aspinall2001-09-03
* Added copy command, call to dependency menu if proof-depends is loaded.Gravatar David Aspinall2001-08-31
* pg-insert-last-output-as-comment strips special annotations from last output ...Gravatar David Aspinall2001-08-30
* Function name fixes, use idiom property in span for popup menu name.Gravatar David Aspinall2001-08-16
* Clean-up compileGravatar David Aspinall2001-07-09
* Copyright date updatedGravatar David Aspinall2001-05-08
* goalsave -> proofGravatar David Aspinall2000-12-20
* Factor out some material from proof-script.elGravatar David Aspinall2000-12-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 22:19:42 +0000