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
\|
*	Replace proof-terminal-char with proof-terminal-string.	David Aspinall	2010-08-27
\|
*	Prevent compile warnings	David Aspinall	2009-09-06
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Remove proof-shell-prompt-pattern, no longer used.	David Aspinall	2009-09-04
\|
*	Updated.	David Aspinall	2004-04-15
\|
*	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.
*	ws	David Aspinall	2002-07-14
\|
*	Decoration tweaks	David Aspinall	2000-04-07
\|
*	Fixed up proof-shell-proof-completed mess nicely.	David Aspinall	2000-04-07
\|
*	Improved HOL support, now joins together commands in proof properly.	David Aspinall	2000-03-24
\|
*	Set proof-shell-filename-escapes, switch back to %s	David Aspinall	2000-03-22
\|
*	Use new format character %s to %e to cope with nasty filenames with backslashes.	David Aspinall	2000-03-22
\|
*	More reliable prompt regexp	David Aspinall	2000-03-19
\|
*	Improvements	David Aspinall	2000-03-13
\|
*	Added decoration and syntax table entries.	David Aspinall	2000-03-10
\|
*	First bash at HOL support, working but barely	David Aspinall	2000-03-09