proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Replaced string COMMENT by constant proof-no-command.	David Aspinall	1998-10-01
\|
*	coqtags is now Perl5 compatible - courtesy of hhg	Thomas Kleymann	1998-10-01
\|
*	Example file suggested by Healf.	David Aspinall	1998-09-23
\|
*	Removed history	David Aspinall	1998-09-23
\|
*	Removed history, added branding.	David Aspinall	1998-09-23
\|
*	Fixed docstrings for derived modes	David Aspinall	1998-09-22
\|
*	Added Id to headers.	David Aspinall	1998-09-09
\|
*	Fixup branch number	David Aspinall	1998-09-09
\|
*	Added some defcustom support	David Aspinall	1998-09-03
\|
*	Added Isabelle example and skeleton for Coq and Lego.	David Aspinall	1998-09-03
\|
*	Renamed for new subdirectory structure	David Aspinall	1998-09-03