aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-user.el
AgeCommit message (Expand)Author
2007-12-12Add undo command to context menuDavid Aspinall
2007-12-10Emacs compatibility/API updates: string-to-int -> string-to-numberDavid Aspinall
2004-11-30Docstring: clarify arg type in proof-define-assitant-command-withargDavid Aspinall
2004-11-30Updated.David Aspinall
2004-06-24Improve handling of intermittent fontification for trace buffers.David Aspinall
2004-06-16Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...David Aspinall
2004-04-27Make response buffer hint shorterDavid Aspinall
2004-04-14Add functions for Imenu and SpeedbarDavid Aspinall
2004-04-13Add hint to C-c C-l; cleanup hints, add menu for C-c C-lDavid Aspinall
2004-04-02Comments. Beginning of drag region code.David Aspinall
2004-02-18holes implementation, it uses span.el. mouse keybindings workPierre Courtieu
2003-06-09Fix typo.David Aspinall
2003-06-08Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...David Aspinall
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-01-31 21:50:21 +0000