aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-user.el
AgeCommit message (Expand)Author
2003-06-08Robustness in pg-identifier-under-mouse-query.David Aspinall
2003-06-08GNU Emacs keybinding for pg-identifier-under-mouse-queryDavid Aspinall
2003-06-08Add simple but effective identifier-under-mouse-query command.David Aspinall
2003-06-05By default, do not move pointer on interrupt, only error; tune hints for spansDavid Aspinall
2003-05-24Rotate buffers display can display next bufferDavid Aspinall
2003-05-24Added hint mechanismDavid Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2002-12-29Add followdownDavid Aspinall
2002-08-30Updated.David Aspinall
2002-08-30GNU Emacs: avoid using own-clipboardDavid Aspinall
2002-08-16Change order of menuDavid Aspinall
2002-08-16pg-goals -> pg-assocDavid Aspinall
2002-08-12Fix for moving span duplicable prob. Still not really workingDavid Aspinall
2002-08-08Generalise proof elements to include comments, show/hiding of comments.David Aspinall
2002-08-08Add span context menu support for Emacs21.David Aspinall
2002-08-08Fix condition for displaying dependency menuDavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-06-21GPLDavid Aspinall
2002-05-03Began adding generic line-width adjustDavid Aspinall
2002-03-21Year changesDavid Aspinall
2002-02-23Bug fix in proof-goto-command-end. Decode x-syms in pg-insert-output-as-comm...David Aspinall
2001-09-05Improved span moving and navigation commands.David Aspinall
2001-09-04Add commands to move spans up/down. Enable features only if experimental fla...David Aspinall
2001-09-03Generalise context menu for other spans; grey out show/hide when unavailable.David Aspinall
2001-08-31Added copy command, call to dependency menu if proof-depends is loaded.David Aspinall
2001-08-30pg-insert-last-output-as-comment strips special annotations from last output ...David Aspinall
2001-08-16Function name fixes, use idiom property in span for popup menu name.David Aspinall
2001-07-09Clean-up compileDavid Aspinall
2001-05-08Copyright date updatedDavid Aspinall
2000-12-20goalsave -> proofDavid Aspinall
2000-12-14Factor out some material from proof-script.elDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 04:30:40 +0000