proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Replace proof-terminal-char with proof-terminal-string.	David Aspinall	2010-08-27
*	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
*	Move location of mmm	David Aspinall	2010-08-27
*	Remove double footer	David Aspinall	2010-08-27
*	Reorganise	David Aspinall	2010-08-27
*	Add retract buffer to menu	David Aspinall	2010-08-27
*	Move erase-buffer from associate buffer mode functions, allowing clone-buffer...	David Aspinall	2010-08-26
*	proof-shell-display-output-as-response: fix to check for no-response-display,	David Aspinall	2010-08-26
*	proof-interrupt-process: make sure works from non-proof shell buffers.	David Aspinall	2010-08-26
*	Remove obsolete provers	David Aspinall	2010-08-25
*	Set version tag for new release.	David Aspinall	2010-08-25
*	Fix compile: declare proof-interrupt-process	David Aspinall	2010-08-25
*	proof-retract-before-change: now interrupts are robust in Isabelle, try	David Aspinall	2010-08-25
*	Fixed my last commit where compilation was broken. (function put at	Pierre Courtieu	2010-08-25
*	Fixed the bug of vertical window splitting when the size of the window	Pierre Courtieu	2010-08-25
*	proof-shell-handle-error-or-interrupt: prevent an error in	David Aspinall	2010-08-25
*	Bring syntactic context functions together	David Aspinall	2010-08-25
*	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