proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Variable name change proof-comment-{start,end}-regexp -> ↵	David Aspinall	2002-07-19
\| \| \| \|	proof-script-comment-{start,end}-regexp.
*	Remove use new parser	David Aspinall	2002-07-14
\|
*	GPL update	David Aspinall	2002-06-21
\|
*	Var name change use-new-parsing -> use-new-parser. Turn on font lock by default.	David Aspinall	2000-09-28
\|
*	Fixes to twelf support, begins to work now.	David Aspinall	2000-09-28
\|
*	Improvements to support: needs work in segment-up-to, though.	David Aspinall	2000-09-18
\|
*	A little bit of progress.	David Aspinall	2000-08-29
\|
*	Files for twelf, not working at all yet.	David Aspinall	2000-08-28