proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	New testing files	David Aspinall	1999-11-12
\|
*	Test files for error in theory processing.	David Aspinall	1999-11-09
\|
*	test stray ML file;	Makarius Wenzel	1999-10-27
\|
*	Trivial changes	David Aspinall	1999-10-21
\|
*	Minor change for testing.	David Aspinall	1999-10-20
\|
*	based on Pure rather than Main (which didn't work because of Pure/CPure clash);	Makarius Wenzel	1999-08-19
\|
*	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