aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-user.el
Commit message (Expand)AuthorAge
...
* proof-electric-terminator: check if inside a string/comment.Gravatar David Aspinall2009-10-03
* Clean up hints about buffer displayGravatar David Aspinall2009-09-29
* pg-response-buffers-hint: only give hint when in default two-buffer modeGravatar David Aspinall2009-09-28
* pg-identifier-near-point-query: make hover span have a high priorityGravatar David Aspinall2009-09-21
* Adjustments to better obey proof-follow-mode=ignoreGravatar David Aspinall2009-09-20
* Fix compile warningGravatar David Aspinall2009-09-15
* Moved functionGravatar David Aspinall2009-09-14
* proof-imenu-enable: fix remove callGravatar David Aspinall2009-09-14
* Engage which-function mode with imenu. Move insert-electric-terminator to pr...Gravatar David Aspinall2009-09-14
* Clean compileGravatar David Aspinall2009-09-10
* Missing requireGravatar David Aspinall2009-09-07
* Rearrange some of point movement code for following scripting.Gravatar David Aspinall2009-09-06
* pg-protected-undo: Use key remapping instead of hacking function valuesGravatar David Aspinall2009-09-05
* Add protected undoGravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* replace-in-string -> replace-regexp-in-stringGravatar David Aspinall2009-09-04
* Buglets in proof-process-electric-terminator, proof-maybe-follow-locked-endGravatar David Aspinall2009-09-04
* proof-files-to-buffers, proof-locate-executable: simplifyGravatar David Aspinall2009-09-04
* Refactoring point movement commands (in progress). Remove proof-no-command.Gravatar David Aspinall2009-09-04
* Cleanup of interactive point moving functions (in progress)Gravatar David Aspinall2009-08-29
* pg-create-in-span-context-menu: fix nestingGravatar David Aspinall2009-08-28
* Fix compile warningsGravatar David Aspinall2009-08-28
* Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour...Gravatar David Aspinall2009-08-17
* Tweak pg-identifier-near-point-query to add decoration to buffer.Gravatar David Aspinall2009-08-14
* Fix parenoGravatar David Aspinall2009-08-07
* Extend implementation of identifier-under-mouse (now pg-identifier-query)Gravatar David Aspinall2009-08-07
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...Gravatar David Aspinall2009-05-26
* Add proof-electric-terminator-noterminator behaviour for IsarGravatar David Aspinall2009-05-26
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Comments.Gravatar David Aspinall2008-02-17
* Update yearGravatar David Aspinall2008-01-30
* proof-interrupt-process: avoid effect of comint-skip-input (printing interrup...Gravatar David Aspinall2008-01-29
* Add input history ring. Cleanup comments.Gravatar David Aspinall2008-01-17
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Add undo command to context menuGravatar David Aspinall2007-12-12
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-28 09:01:49 +0000