proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Updated with recent figures from Mac OS X.	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
\| \| \| \| \| \|	about Solaris. Experiment using pipe instead of pty communication as default now scomint buffer not intended for interactive input and runs prover process directly.
*	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
\|
*	Load elp first	David Aspinall	2010-08-18
\|
*	hack to ELP to give better readability of profile results, in milliseconds	David Aspinall	2010-08-18
\|
*	Clean flag settings for profiling. Add AHundredProofs.	David Aspinall	2010-08-18
\|
*	Correct comment; try setting process-adaptive-read-buffering to nil.	David Aspinall	2010-08-18
\|
*	Turn off parallel proofs setting (no noticeable difference for this test file)	David Aspinall	2010-08-18
\|
*	Add command bound to C-c C-a h ? to show available help keys	David Aspinall	2010-08-18
\|
*	Re Trac #324:	David Aspinall	2010-08-17
\| \| \| \| \| \|	proof-shell-wait: drastically reduce timeout, as some implementations perhaps wait for full time even if process output is received. Set process-adaptive-read-buffering to nil regardless of platform
*	Autosend: don't autosend after undoing; add proof-shell-last-queuemode to ↵	David Aspinall	2010-08-17
\| \| \| \|	support this.
*	autosend loop: wait for shell after sending interrupt (ensures output processing	David Aspinall	2010-08-17
\| \| \| \|	happens when proof-autosend-running is set).
*	Set version tag for new release.	David Aspinall	2010-08-17
\|
*	Fix key bindings. Ref Trac#334	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
\| \| \| \| \|	invoke callbacks before detaching queue. Fix to passing of display flags.
*	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
\|
*	Minor tweaks to versions, etc.	David Aspinall	2010-08-17
\|
*	Comments	David Aspinall	2010-08-17
\|
*	Bump Emacs version	David Aspinall	2010-08-17
\|
*	Clean up handling of pending interrupts, remove experimental ↵	David Aspinall	2010-08-17
\| \| \| \|	proof-shell-interrupts-after-commit.
*	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. ↵	David Aspinall	2010-08-17
\| \| \| \|	Questionable UI benefit.
*	Set proof-shell-interrupts-after-commit = nil	David Aspinall	2010-08-16
\|
*	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
\|
*	Remove superfluous spaces (re Trac #331).	David Aspinall	2010-08-15
\|
*	Preliminary and experimental support for automatically sending commands.	David Aspinall	2010-08-15
\|
*	Update.	David Aspinall	2010-08-15
\|
*	proof-shell-interrupts-after-commit: support commit-before-interrupt mode ↵	David Aspinall	2010-08-15
\| \| \| \|	[experimental/temporary].
*	Fix menu/node order inside internal chapter	David Aspinall	2010-08-15
\|
*	Set version tag for new release.	David Aspinall	2010-08-15
\|
*	Elisp timing	David Aspinall	2010-08-15
\|
*	Moved files	David Aspinall	2010-08-15
\|
*	More tests	David Aspinall	2010-08-13
\|
*	coq-highlight-error: make robust against proof script buffer deactivating	David Aspinall	2010-08-13
\|
*	Comment out some lines so that processes.	David Aspinall	2010-08-13
\|
*	Updated.	David Aspinall	2010-08-13
\|
*	Renamed file	David Aspinall	2010-08-13
\|
*	proof-activate-scripting: make sure can succeed when	David Aspinall	2010-08-13
\| \| \| \| \|	proof-activate-scripting-hook does nothing (case: switching buffers in Coq when there was an error)
*	Remove deliberately buggy code at the end (Coq seems to be fixed)	David Aspinall	2010-08-11
\|
*	Extend testing	David Aspinall	2010-08-11
\|