proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Note about testing on win32	David Aspinall	2000-03-24
\|
*	Notes about strange filenames	David Aspinall	2000-03-22
\|
*	Updated	David Aspinall	1999-11-17
\|
*	Updated	David Aspinall	1999-11-17
\|
*	Updates	David Aspinall	1999-11-16
\|
*	Updated	David Aspinall	1999-11-12
\|
*	Mentioned a few tests	David Aspinall	1999-08-23
\|
*	Tested piped communication in emacs-20.3	David Aspinall	1999-01-21
\|
*	Added Coq test results. Made reverse chronological order.	David Aspinall	1998-12-16
\|
*	documented LEGO specific bug	Thomas Kleymann	1998-12-16
\|
*	Another FSF bug found in the new filter functions, this time for script buffer.	David Aspinall	1998-12-14
\|
*	Log of testing results.	David Aspinall	1998-12-14