aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-user.el
Commit message (Collapse)AuthorAge
* proof-undo-and-delete-last-successful-command: obey spec (Trac #407)Gravatar David Aspinall2011-06-03
|
* Improve hint messages; use proof mode keymap.Gravatar David Aspinall2011-01-31
|
* pg-create-in-span-context-menu: remove "Move up" and "Move down".Gravatar David Aspinall2011-01-19
| | | | These don't seem to be very useful or reliable.
* 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
| | | | | auto sending: improve messages, bind autosend-running flag lexically in case of errors query identifier: use history variable, remove key bindings
* proof-undo-and-delete-last-successful-command: repair (afterGravatar David Aspinall2010-09-22
| | | | proof-retract-until-point changed type).
* proof-autosend-loop: adjust to only update modified tick when sendingGravatar David Aspinall2010-09-21
| | | | (engages autosend slightly more often, but not quite often enough)
* CommentsGravatar David Aspinall2010-09-08
|
* Remove proof-autosend-error-pointGravatar David Aspinall2010-08-27
|
* Implement the eagerly anticipated Beyond Script Management Feature No.2 ↵Gravatar David Aspinall2010-08-27
| | | | (i.e., automatic preview of next command)
* 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 ↵Gravatar David Aspinall2010-08-17
| | | | support this.
* autosend loop: wait for shell after sending interrupt (ensures output processingGravatar David Aspinall2010-08-17
| | | | happens when proof-autosend-running is set).
* 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
| | | | | make consistent with `proof-strict-read-only' setting. In particular, if "Edit Freely" is selected then we don't do any retraction.
* 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 ↵Gravatar David Aspinall2009-12-03
| | | | command elements.
* 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
| | | | and self-delete.
* 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 ↵Gravatar David Aspinall2009-09-14
| | | | proof-script
* 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
| | | | | proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 21:40:25 +0000