aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-user.el
Commit message (Expand)AuthorAge
* * pg-init.el: Add subdirs during compilation (bug #413)Gravatar Stefan Monnier2019-01-12
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Fix pg-{show,hide}-all-proofs and Move them into pg-user.el.Gravatar Erik Martin-Dorel2017-08-15
* Fix incorrect assumption that noninteractive == byte-compilingGravatar Clément Pit--Claudel2017-03-08
* Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta).Gravatar Erik Martin-Dorel2016-07-04
* Summary: Compile warning on speedbar-add-supported-extensionGravatar David Aspinall2015-03-13
* Summary: Fix for bug #489 (make p-electric-terminator-enable appear as minor ...Gravatar David Aspinall2015-03-13
* Don't mess with overlay priorities.Gravatar Stefan Monnier2014-06-06
* Add user option proof-next-command-insert-space.Gravatar David Aspinall2012-08-14
* * generic/pg-user.el (which-func-modes): Fix compiler declaration.Gravatar Stefan Monnier2012-06-29
* Summary: Handle the new t value of which-func-modes.Gravatar Stefan Monnier2012-06-08
* let proof-retract-buffer only move point when called interactivelyGravatar Hendrik Tews2012-05-31
* Remove dependency of pg-movie on pg-userGravatar David Aspinall2011-10-17
* proof-electric-terminator: allow a prefix argument to avoid electric action.Gravatar David Aspinall2011-09-14
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 21:00:50 +0000