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
*
Tidy shell start and quit functions
David Aspinall
2010-08-24
*
proof-shell-config-done: send proof-assistant-settings-cmds
David Aspinall
2010-08-24
*
Split proof-assistant-settings-cmds and proof-assistant-settings-cmd
David Aspinall
2010-08-24
*
Reduce quit timeout to sensible value
David Aspinall
2010-08-24
*
Move comments into docstring
David Aspinall
2010-08-24
*
Tidy comments
David Aspinall
2010-08-24
*
pg-pbrpm-setup-span: backward-delete-char -> delete-char to fix Emacs 24 comp...
David Aspinall
2010-08-24
*
Set version tag for new release.
David Aspinall
2010-08-23
*
Prevent electric terminator modeline effect in non proof script modes.
David Aspinall
2010-08-23
*
Updated
David Aspinall
2010-08-23
*
proof-fast-process-buffer: switch on by default if looks like Mac port (ns fe...
David Aspinall
2010-08-22
*
Fix bug in define-key for mouse-3.
David Aspinall
2010-08-22
*
Use C-c C-H for proof-help as suggested in Trac #341, since C-c h clashes wit...
David Aspinall
2010-08-22
*
Move binding of proof-help from C-c C-h to C-c h (see Trac #341)
David Aspinall
2010-08-22
*
Remove dead code
David Aspinall
2010-08-20
*
Update
David Aspinall
2010-08-20
*
Support Unicode from tokens. Add export for whole directory
David Aspinall
2010-08-20
*
Add Fast Process Buffer option
David Aspinall
2010-08-19
*
Set version tag for new release.
David Aspinall
2010-08-19
*
proof-shell-process-connection-type: Revert to long-lived previous default of...
David Aspinall
2010-08-19
*
Comments
David Aspinall
2010-08-19
*
Remove redisplay from wait loop, only redisplay on exit. Big speed-up
David Aspinall
2010-08-18
*
proof-autosend-loop: don't enter if shell is already busy processing
David Aspinall
2010-08-18
*
proof-shell-start: tidy up
David Aspinall
2010-08-18
*
Remove clashing key binding for C-c C-s
David Aspinall
2010-08-18
*
Updated
David Aspinall
2010-08-18
*
proof-shell-process-connection-type: remove near obsolete test and text
David Aspinall
2010-08-18
*
proof-debug advice: Fix passing format arg
David Aspinall
2010-08-18
*
Style fixes
David Aspinall
2010-08-18
*
Improve message
David Aspinall
2010-08-18
*
Style fix in messages
David Aspinall
2010-08-18
*
Correct comment; try setting process-adaptive-read-buffering to nil.
David Aspinall
2010-08-18
*
Re Trac #324:
David Aspinall
2010-08-17
*
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
*
Set version tag for new release.
David Aspinall
2010-08-17
*
proof-shell-action-list-item: fix type for flags as an element, not a cdr
David Aspinall
2010-08-17
*
Critical sync fix: in pending interrupts case be sure to
David Aspinall
2010-08-17
*
Note about fix required to proof-autosend-error-point
David Aspinall
2010-08-17
*
quit-prover: avoid kill buffer query question
David Aspinall
2010-08-17
*
pg-response-has-error-location: save point in response buffer
David Aspinall
2010-08-17
*
Whitespace
David Aspinall
2010-08-17
*
Comments
David Aspinall
2010-08-17
*
Clean up handling of pending interrupts, remove experimental proof-shell-inte...
David Aspinall
2010-08-17
*
Autosend: prevent repeatedly sending erroneous commands (in progress)
David Aspinall
2010-08-17
*
Remove duplicate declaration
David Aspinall
2010-08-17
*
Make the modeline indicator change colour. Old XEmacs behaviour restored. Q...
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
[next]