proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fixed comment.	David Aspinall	1999-02-01
\|
*	Test case for file recognition bug.	David Aspinall	1999-02-01
\|
*	Added David von Oheimbs test case for case matching	David Aspinall	1999-01-26
\|
*	Test has backward slashes now, not forwards ones..	David Aspinall	1999-01-15
\|
*	Test file for long lines with backslashes.	David Aspinall	1999-01-15
\|
*	More test cases mentioned	David Aspinall	1998-12-11
\|
*	Added more commands for testing	David Aspinall	1998-12-11
\|
*	Name of proof-shell-restart was changed.	David Aspinall	1998-12-11
\|
*	Changes for better testing	David Aspinall	1998-11-18
\|
*	Fixed multiple file bug	David Aspinall	1998-11-03
\|
*	More notes	David Aspinall	1998-10-29
\|
*	Ran tests for Isabelle. Added another test case.	David Aspinall	1998-10-29
\|
*	Test files for handling multiple files with Isabelle	David Aspinall	1998-10-19