aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-user.el
AgeCommit message (Expand)Author
2018-12-14Fix remaining uses of CL; Make files more declarativeStefan Monnier
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-08-15Fix pg-{show,hide}-all-proofs and Move them into pg-user.el.Erik Martin-Dorel
2017-03-08Fix incorrect assumption that noninteractive == byte-compilingClément Pit--Claudel
2016-07-04Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta).Erik Martin-Dorel
2015-03-13Summary: Compile warning on speedbar-add-supported-extensionDavid Aspinall
2015-03-13Summary: Fix for bug #489 (make p-electric-terminator-enable appear as minor ...David Aspinall
2014-06-06Don't mess with overlay priorities.Stefan Monnier
2012-08-14Add user option proof-next-command-insert-space.David Aspinall
2012-06-29* generic/pg-user.el (which-func-modes): Fix compiler declaration.Stefan Monnier
2012-06-08Summary: Handle the new t value of which-func-modes.Stefan Monnier
2012-05-31let proof-retract-buffer only move point when called interactivelyHendrik Tews
2011-10-17Remove dependency of pg-movie on pg-userDavid Aspinall
2011-09-14proof-electric-terminator: allow a prefix argument to avoid electric action.David Aspinall
2011-06-03proof-undo-and-delete-last-successful-command: obey spec (Trac #407)David Aspinall
2011-01-31Improve hint messages; use proof mode keymap.David Aspinall
2011-01-19pg-create-in-span-context-menu: remove "Move up" and "Move down".David Aspinall
2010-10-10pg-span-context-menu: add docDavid Aspinall
2010-10-04Clean up obsolete commentsDavid Aspinall
2010-10-04Fixes in strings/comments from Erik Martin-DorelDavid Aspinall
2010-10-01Add docDavid Aspinall
2010-10-01proof-script-new-command-advance: add back some indentation attemptDavid Aspinall
2010-09-22proof-undo-and-delete-last-successful-command: repair (afterDavid Aspinall
2010-09-21proof-autosend-loop: adjust to only update modified tick when sendingDavid Aspinall
2010-09-08CommentsDavid Aspinall
2010-08-27Remove proof-autosend-error-pointDavid Aspinall
2010-08-27Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....David Aspinall
2010-08-24Tidy commentsDavid Aspinall
2010-08-23Prevent electric terminator modeline effect in non proof script modes.David Aspinall
2010-08-19Add Fast Process Buffer optionDavid Aspinall
2010-08-18proof-autosend-loop: don't enter if shell is already busy processingDavid Aspinall
2010-08-18Style fix in messagesDavid Aspinall
2010-08-17Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup...David Aspinall
2010-08-17autosend loop: wait for shell after sending interrupt (ensures output processingDavid Aspinall
2010-08-17Note about fix required to proof-autosend-error-pointDavid Aspinall
2010-08-17Autosend: prevent repeatedly sending erroneous commands (in progress)David Aspinall
2010-08-16Fix compile errors, update tagsDavid Aspinall
2010-08-15proof-issue-new-command: remove spurious goto-char (ref Trac #330)David Aspinall
2010-08-15Preliminary and experimental support for automatically sending commands.David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-08-03pg-protected-undo: remove separate `proof-allow-undo-in-read-only' andDavid Aspinall
2010-08-02Add pg-protected-undo improved version due to Erik Martin-DorelDavid Aspinall
2010-07-08Cleanups for save-excursion to avoid warnings in latest Emacs versionsDavid Aspinall
2009-12-03Rework script span element hiding to avoid buffer-invisibility-spec. Add com...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:03:18 +0000