proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Cleanup, details on versions	David Aspinall	2002-07-15
\|
*	Remove 3.3 download, encourage test version use.	David Aspinall	2002-07-14
\|
*	Remove length rant	David Aspinall	2002-07-13
\|
*	GPL update	David Aspinall	2002-06-21
\|
*	Mention not supporting E21	David Aspinall	2002-06-08
\|
*	Fix URL for X-symbol	David Aspinall	2002-04-23
\|
*	Typo	David Aspinall	2002-03-21
\|
*	Fix link to feedback page	David Aspinall	2002-01-15
\|
*	Fix link	David Aspinall	2001-09-13
\|
*	Update release dates	David Aspinall	2001-09-10
\|
*	Change over to some .php files.	David Aspinall	2001-09-09
\|
*	Trim page a bit	David Aspinall	2001-09-09
\|
*	Trim page a bit	David Aspinall	2001-09-09
\|
*	Trim page a bit	David Aspinall	2001-09-09
\|
*	Trim page a bit	David Aspinall	2001-09-09
\|
*	Mention paper letter registrations.	David Aspinall	2001-09-09
\|
*	Remove to be released line	David Aspinall	2001-09-09
\|
*	Typo. Update Emacs version to 20.7.	David Aspinall	2001-09-03
\|
*	PHP file	David Aspinall	2001-09-03
\|
*	Please try devel version	David Aspinall	2001-09-03
\|
*	Updating branch	David Aspinall	2001-09-03
\|
*	Note about XEmacs 21 and x-symbol	David Aspinall	2001-08-30
\|
*	Add link to browse package	David Aspinall	2001-08-16
\|
*	Change link to register page	David Aspinall	2001-05-01
\|
*	Apparently X-Sym web pages have simpler install instructions now.	David Aspinall	2000-10-03
\|
*	Updated web pages for 3.2 release	David Aspinall	2000-10-02
\|
*	Remove messy link_root links.	David Aspinall	2000-09-29
\|
*	Renamed files	David Aspinall	2000-09-28