index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
pg-user.el
Commit message (
Expand
)
Author
Age
*
Summary: Compile warning on speedbar-add-supported-extension
David Aspinall
2015-03-13
*
Summary: Fix for bug #489 (make p-electric-terminator-enable appear as minor ...
David Aspinall
2015-03-13
*
Don't mess with overlay priorities.
Stefan Monnier
2014-06-06
*
Add user option proof-next-command-insert-space.
David Aspinall
2012-08-14
*
* generic/pg-user.el (which-func-modes): Fix compiler declaration.
Stefan Monnier
2012-06-29
*
Summary: Handle the new t value of which-func-modes.
Stefan Monnier
2012-06-08
*
let proof-retract-buffer only move point when called interactively
Hendrik Tews
2012-05-31
*
Remove dependency of pg-movie on pg-user
David Aspinall
2011-10-17
*
proof-electric-terminator: allow a prefix argument to avoid electric action.
David Aspinall
2011-09-14
*
proof-undo-and-delete-last-successful-command: obey spec (Trac #407)
David Aspinall
2011-06-03
*
Improve hint messages; use proof mode keymap.
David Aspinall
2011-01-31
*
pg-create-in-span-context-menu: remove "Move up" and "Move down".
David Aspinall
2011-01-19
*
pg-span-context-menu: add doc
David Aspinall
2010-10-10
*
Clean up obsolete comments
David Aspinall
2010-10-04
*
Fixes in strings/comments from Erik Martin-Dorel
David Aspinall
2010-10-04
*
Add doc
David Aspinall
2010-10-01
*
proof-script-new-command-advance: add back some indentation attempt
David Aspinall
2010-10-01
*
proof-undo-and-delete-last-successful-command: repair (after
David Aspinall
2010-09-22
*
proof-autosend-loop: adjust to only update modified tick when sending
David Aspinall
2010-09-21
*
Comments
David Aspinall
2010-09-08
*
Remove proof-autosend-error-point
David Aspinall
2010-08-27
*
Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....
David Aspinall
2010-08-27
*
Tidy comments
David Aspinall
2010-08-24
*
Prevent electric terminator modeline effect in non proof script modes.
David Aspinall
2010-08-23
*
Add Fast Process Buffer option
David Aspinall
2010-08-19
*
proof-autosend-loop: don't enter if shell is already busy processing
David Aspinall
2010-08-18
*
Style fix in messages
David Aspinall
2010-08-18
*
Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup...
David Aspinall
2010-08-17
*
autosend loop: wait for shell after sending interrupt (ensures output processing
David Aspinall
2010-08-17
*
Note about fix required to proof-autosend-error-point
David Aspinall
2010-08-17
*
Autosend: prevent repeatedly sending erroneous commands (in progress)
David Aspinall
2010-08-17
*
Fix compile errors, update tags
David Aspinall
2010-08-16
*
proof-issue-new-command: remove spurious goto-char (ref Trac #330)
David Aspinall
2010-08-15
*
Preliminary and experimental support for automatically sending commands.
David Aspinall
2010-08-15
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
pg-protected-undo: remove separate `proof-allow-undo-in-read-only' and
David Aspinall
2010-08-03
*
Add pg-protected-undo improved version due to Erik Martin-Dorel
David Aspinall
2010-08-02
*
Cleanups for save-excursion to avoid warnings in latest Emacs versions
David Aspinall
2010-07-08
*
Rework script span element hiding to avoid buffer-invisibility-spec. Add com...
David Aspinall
2009-12-03
*
Replace proof-locked-end -> proof-unprocessed-begin
David Aspinall
2009-11-30
*
Whitespace
David Aspinall
2009-10-14
*
proof-electric-terminator: check if inside a string/comment.
David Aspinall
2009-10-03
*
Clean up hints about buffer display
David Aspinall
2009-09-29
*
pg-response-buffers-hint: only give hint when in default two-buffer mode
David Aspinall
2009-09-28
*
pg-identifier-near-point-query: make hover span have a high priority
David Aspinall
2009-09-21
*
Adjustments to better obey proof-follow-mode=ignore
David Aspinall
2009-09-20
*
Fix compile warning
David Aspinall
2009-09-15
*
Moved function
David Aspinall
2009-09-14
*
proof-imenu-enable: fix remove call
David Aspinall
2009-09-14
*
Engage which-function mode with imenu. Move insert-electric-terminator to pr...
David Aspinall
2009-09-14
[next]