proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Updated	David Aspinall	2000-09-14
\|
*	Fix typo	David Aspinall	2000-06-19
\|
*	Updated	David Aspinall	2000-05-09
\|
*	Note of how to change branch version.	David Aspinall	2000-03-13
\|
*	Standards for each instance.	David Aspinall	2000-03-09
\|
*	Added some note about todo lists.	David Aspinall	2000-03-08
\|
*	File for developers to read.	David Aspinall	2000-03-08