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
\|
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	Remove/fix some junk	David Aspinall	2004-04-02
\|
*	remove spurious (interactive)	David Aspinall	2004-03-01
\|
*	Fix	David Aspinall	2004-03-01
\|
*	Bug in thy-add-menus declaration	David Aspinall	2004-03-01
\|
*	New files.	David Aspinall	2002-09-04
\|
*	Remove proof-shared-menu.	David Aspinall	2002-08-08
\|
*	New files.	David Aspinall	2002-08-07