proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update my email and web	David Aspinall	2003-01-16
\|
*	Remove PGK mention, other obs projects	David Aspinall	2002-06-08
\|
*	Fix URL for X-symbol	David Aspinall	2002-04-23
\|
*	Fix link to feedback page	David Aspinall	2002-01-15
\|
*	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