proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Improve feature list.	David Aspinall	2002-07-17
\|
*	Tweak	David Aspinall	2002-07-15
\|
*	Move project desc to features listing	David Aspinall	2002-07-14
\|
*	Fix URL for X-symbol	David Aspinall	2002-04-23
\|
*	Toolbar allowed in GNU Emacs 21	David Aspinall	2001-12-11
\|
*	Text	David Aspinall	2001-09-03
\|
*	Fix link to screenshot	David Aspinall	2001-09-03
\|
*	Mention hiding proofs.	David Aspinall	2001-09-03
\|
*	Fix layout and typo.	David Aspinall	2001-05-29
\|
*	Remove messy link_root links.	David Aspinall	2000-09-29
\|
*	Moved to use .html instead of .phtml	David Aspinall	2000-09-28
\|
*	Renamed file	David Aspinall	2000-09-28