proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Use infix syntax	David Aspinall	1999-11-13
\|
*	Remove coq-Search function, now generic.	David Aspinall	1999-10-06
\|
*	unified example with other proof assistants;	Makarius Wenzel	1999-09-24
\|
*	Cleaned up example files so all demonstrate same theorem "conj_comms".	David Aspinall	1999-09-13
\| \| \| \| \|	Would be nice to add more theorems to compare scripts in different systems.
*	Updated from Coq 6.3 distrib.	David Aspinall	1999-08-23
\|
*	Updates suggested by Markus and Patrick for Coq 6.3.	David Aspinall	1999-08-23
\|
*	changed maintainer information to lego@dcs and isabelle@dcs .	Thomas Kleymann	1998-10-02
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Example file suggested by Healf.	David Aspinall	1998-09-23
\|
*	Added Id to headers.	David Aspinall	1998-09-09
\|
*	Added Isabelle example and skeleton for Coq and Lego.	David Aspinall	1998-09-03