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
Commit message (
Expand
)
Author
Age
*
Fix docs
David Aspinall
2009-09-11
*
Make quiet by default. Improve docs.
David Aspinall
2009-09-11
*
Our own buffer for debug messages
David Aspinall
2009-09-11
*
Add Read-Only sub menu
David Aspinall
2009-09-11
*
Default to disabling minibuffer messages
David Aspinall
2009-09-10
*
Disable debug message in Isar
David Aspinall
2009-09-10
*
Disable process-adaptive-read-buffering: massive slow down for short
David Aspinall
2009-09-10
*
Move stripping and minibuffer-message function here
David Aspinall
2009-09-10
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
proof-retract-until-point: protect against finding no span at all
David Aspinall
2009-09-10
*
Clean compile
David Aspinall
2009-09-10
*
Clean compile
David Aspinall
2009-09-10
*
Move defpacustom here. Move message functions to proof-shell. Fix requires.
David Aspinall
2009-09-10
*
Add proof-minibuffer-messages. Move defpacustom->proof-utils and
David Aspinall
2009-09-10
*
Add `proof-minibuffer-messages'
David Aspinall
2009-09-10
*
Prevent font-lock in shell by altering font-lock-global-modes locally
David Aspinall
2009-09-09
*
pg-last-output-displayform: strip trailing CR as well as initial one,
David Aspinall
2009-09-09
*
Delete the pghelp spans for now, after all.
David Aspinall
2009-09-09
*
proof-script-clear-queue-spans: scan less of buffer
David Aspinall
2009-09-09
*
Add proof-shell-font-lock-keywords, proof-arbitrary-undo-positions
David Aspinall
2009-09-09
*
Clear shell buffer contents on restart.
David Aspinall
2009-09-09
*
Add proof-re-search-forward-safe
David Aspinall
2009-09-09
*
p-s-classify-output -> p-s-handle-output, and simplify system-specific hook
David Aspinall
2009-09-09
*
Add proof-script-error-face
David Aspinall
2009-09-09
*
proof-shell-error-or-interrupt-seen -> proof-shell-last-error-kind,
David Aspinall
2009-09-09
*
Simplify output processing; delay some goals/response classification
David Aspinall
2009-09-09
*
proof-shell-quiet-errors: move to user opts custom group
David Aspinall
2009-09-09
*
Cleanup toolbar-toggle and bind to C-c b, fix binding C-c v.
David Aspinall
2009-09-09
*
proof-toolbar-setup: redraw-display
David Aspinall
2009-09-09
*
proof-toolbar-setup: do the right thing (map across all PG buffers)
David Aspinall
2009-09-09
*
proof-kill-goal-command: default to nil, not empty string
David Aspinall
2009-09-08
*
Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L...
David Aspinall
2009-09-08
*
Clarify require
David Aspinall
2009-09-08
*
Require on scomint
David Aspinall
2009-09-08
*
proof-shell-handle-error-output: renamed, and simplified
David Aspinall
2009-09-08
*
Fix docstrings, remove spurious null
David Aspinall
2009-09-08
*
pg-response-display-with-face: remove update of `proof-shell-last-output'
David Aspinall
2009-09-08
*
Only show splash message if noninteractive
David Aspinall
2009-09-07
*
Remove load order tweak experiment
David Aspinall
2009-09-07
*
Nuke spurious warning
David Aspinall
2009-09-07
*
Update autoloads
David Aspinall
2009-09-07
*
Attempt to handle splash buffer cleanly.
David Aspinall
2009-09-07
*
Requires processed more often (experiment)
David Aspinall
2009-09-07
*
Fix compile warnings
David Aspinall
2009-09-07
*
Whitespace
David Aspinall
2009-09-07
*
(C) date
David Aspinall
2009-09-07
*
mapcar -> dolist
David Aspinall
2009-09-07
*
Require cl for compilation
David Aspinall
2009-09-07
*
Missing require
David Aspinall
2009-09-07
*
Fix typos
David Aspinall
2009-09-07
[next]