proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	scomint-check-proc: make defsubst	David Aspinall	2009-09-07
\|
*	Simplify by removing ability to deal with restrictions	David Aspinall	2009-09-06
\| \| \| \|	and a check for process liveness.
*	Tidy whitespace	David Aspinall	2009-09-05
\|
*	Missing declaration	David Aspinall	2009-09-05
\|
*	Disable fontification of input and output. Fix C-c C-c binding	David Aspinall	2009-09-04
\|
*	Disable buffer truncation for now	David Aspinall	2009-09-04
\|
*	Define some keys.	David Aspinall	2009-09-04
\|
*	Remove left over comint-isms	David Aspinall	2009-09-04
\|
*	Support for Emacs22	David Aspinall	2009-09-04
\|
*	Trimmed down comint	David Aspinall	2009-09-04