aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-user.el
Commit message (Expand)AuthorAge
* pg-span-context-menu: add docGravatar David Aspinall2010-10-10
* Clean up obsolete commentsGravatar David Aspinall2010-10-04
* Fixes in strings/comments from Erik Martin-DorelGravatar David Aspinall2010-10-04
* Add docGravatar David Aspinall2010-10-01
* proof-script-new-command-advance: add back some indentation attemptGravatar David Aspinall2010-10-01
* proof-undo-and-delete-last-successful-command: repair (afterGravatar David Aspinall2010-09-22
* proof-autosend-loop: adjust to only update modified tick when sendingGravatar David Aspinall2010-09-21
* CommentsGravatar David Aspinall2010-09-08
* Remove proof-autosend-error-pointGravatar David Aspinall2010-08-27
* Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....Gravatar David Aspinall2010-08-27
* Tidy commentsGravatar David Aspinall2010-08-24
* Prevent electric terminator modeline effect in non proof script modes.Gravatar David Aspinall2010-08-23
* Add Fast Process Buffer optionGravatar David Aspinall2010-08-19
* proof-autosend-loop: don't enter if shell is already busy processingGravatar David Aspinall2010-08-18
* Style fix in messagesGravatar David Aspinall2010-08-18
* Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup...Gravatar David Aspinall2010-08-17
* autosend loop: wait for shell after sending interrupt (ensures output processingGravatar David Aspinall2010-08-17
* Note about fix required to proof-autosend-error-pointGravatar David Aspinall2010-08-17
* Autosend: prevent repeatedly sending erroneous commands (in progress)Gravatar David Aspinall2010-08-17
* Fix compile errors, update tagsGravatar David Aspinall2010-08-16
* proof-issue-new-command: remove spurious goto-char (ref Trac #330)Gravatar David Aspinall2010-08-15
* Preliminary and experimental support for automatically sending commands.Gravatar David Aspinall2010-08-15
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* pg-protected-undo: remove separate `proof-allow-undo-in-read-only' andGravatar David Aspinall2010-08-03
* Add pg-protected-undo improved version due to Erik Martin-DorelGravatar David Aspinall2010-08-02
* Cleanups for save-excursion to avoid warnings in latest Emacs versionsGravatar David Aspinall2010-07-08
* Rework script span element hiding to avoid buffer-invisibility-spec. Add com...Gravatar David Aspinall2009-12-03
* Replace proof-locked-end -> proof-unprocessed-beginGravatar David Aspinall2009-11-30
* WhitespaceGravatar David Aspinall2009-10-14
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-24 14:35:32 +0000