proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	Update the documentation and prepare the release 4.4.	Erik Martin-Dorel	2016-09-18
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Remove proof-shell-prompt-pattern, no longer used.	David Aspinall	2009-09-04
\|
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	More email -> trac renames	David Aspinall	2007-12-14
\|
*	Compiler warnings	David Aspinall	2004-04-17
\|
*	Fix mail addr	David Aspinall	2004-04-14
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Variable name change proof-comment-{start,end}-regexp -> ↵	David Aspinall	2002-07-19
\| \| \| \|	proof-script-comment-{start,end}-regexp.
*	GPL update	David Aspinall	2002-06-21
\|
*	Greatly improved support.	David Aspinall	2002-03-21
\|
*	Updated, trimmed down to barebones.	David Aspinall	2000-09-29
\|
*	Fix web page, at least.	David Aspinall	2000-09-28
\|
*	First (non-working) versions, committed so that doc builds.	David Aspinall	2000-09-28