proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fix most doc issues raised by (checkdoc)	Erik Martin-Dorel	2018-08-23
\|
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵	David Aspinall	2011-10-13
\| \| \| \|	interactive-p with called-interactively-p)
*	Remove dead code	David Aspinall	2011-01-25
\|
*	Protect against error case	David Aspinall	2009-09-20
\|
*	Note	David Aspinall	2009-09-17
\|
*	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