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
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Emacs compatibility/API updates: string-to-int -> string-to-number	David Aspinall	2007-12-10
\|
*	Updated.	David Aspinall	2004-04-15
\|
*	Remove X-symbol support from secondary provers temporarily	David Aspinall	2004-04-14
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Fixes so that compile works	David Aspinall	2003-02-15
\|
*	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
\|
*	Add specific install instrs, rearrange.	David Aspinall	2001-09-03
\|
*	Tweak	David Aspinall	2000-09-29
\|
*	Notes.	David Aspinall	2000-09-28
\|
*	Add FIXME	David Aspinall	2000-09-28
\|
*	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
\|
*	Standard poor X-Symbol support for twelf.	David Aspinall	2000-09-23
\|
*	Remove twelf-config-mode variable check, to allow functions	David Aspinall	2000-09-18
\| \| \| \|	here to work with PG (without loading twelf-old.el).
*	Improvements to support: needs work in segment-up-to, though.	David Aspinall	2000-09-18
\|
*	Example file grabbed from twelf distrib	David Aspinall	2000-08-29
\|
*	A little bit of progress.	David Aspinall	2000-08-29
\|
*	Files for twelf, not working at all yet.	David Aspinall	2000-08-28