aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-user.el
AgeCommit message (Expand)Author
2009-11-30Replace proof-locked-end -> proof-unprocessed-beginDavid Aspinall
2009-10-14WhitespaceDavid Aspinall
2009-10-03proof-electric-terminator: check if inside a string/comment.David Aspinall
2009-09-29Clean up hints about buffer displayDavid Aspinall
2009-09-28pg-response-buffers-hint: only give hint when in default two-buffer modeDavid Aspinall
2009-09-21pg-identifier-near-point-query: make hover span have a high priorityDavid Aspinall
2009-09-20Adjustments to better obey proof-follow-mode=ignoreDavid Aspinall
2009-09-15Fix compile warningDavid Aspinall
2009-09-14Moved functionDavid Aspinall
2009-09-14proof-imenu-enable: fix remove callDavid Aspinall
2009-09-14Engage which-function mode with imenu. Move insert-electric-terminator to pr...David Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-07Missing requireDavid Aspinall
2009-09-06Rearrange some of point movement code for following scripting.David Aspinall
2009-09-05pg-protected-undo: Use key remapping instead of hacking function valuesDavid Aspinall
2009-09-05Add protected undoDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04replace-in-string -> replace-regexp-in-stringDavid Aspinall
2009-09-04Buglets in proof-process-electric-terminator, proof-maybe-follow-locked-endDavid Aspinall
2009-09-04proof-files-to-buffers, proof-locate-executable: simplifyDavid Aspinall
2009-09-04Refactoring point movement commands (in progress). Remove proof-no-command.David Aspinall
2009-08-29Cleanup of interactive point moving functions (in progress)David Aspinall
2009-08-28pg-create-in-span-context-menu: fix nestingDavid Aspinall
2009-08-28Fix compile warningsDavid Aspinall
2009-08-17Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour...David Aspinall
2009-08-14Tweak pg-identifier-near-point-query to add decoration to buffer.David Aspinall
2009-08-07Fix parenoDavid Aspinall
2009-08-07Extend implementation of identifier-under-mouse (now pg-identifier-query)David Aspinall
2009-05-26Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...David Aspinall
2009-05-26Add proof-electric-terminator-noterminator behaviour for IsarDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-02-17Comments.David Aspinall
2008-01-30Update yearDavid Aspinall
2008-01-29proof-interrupt-process: avoid effect of comint-skip-input (printing interrup...David Aspinall
2008-01-17Add input history ring. Cleanup comments.David Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:48:05 +0000