aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-user.el
Commit message (Expand)AuthorAge
* 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-06-16 22:31:21 +0000