proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Patched patch for updated proof-site.el	David Aspinall	1999-06-07
\|
*	Patched patch for updated proof-site.el	David Aspinall	1999-06-07
\|
*	Updated patch	David Aspinall	1998-11-25
\|
*	More hacks to variable names for customize (sorry)	David Aspinall	1998-10-29
\|
*	Still bad ('cos release is -kv), removed $ from patch.	David Aspinall	1998-10-07
\|
*	Updated for new proof-site.el	David Aspinall	1998-10-07
\|
*	Fixed for new header in coqtags.	David Aspinall	1998-10-01
\|
*	Removed troublesome $Id$ header from .patch file: was getting	David Aspinall	1998-10-01
\| \| \| \|	expanded by cvs! Really this file should be marked as "binary."
*	Updated for new path in coqtags	David Aspinall	1998-10-01
\|
*	Moved info file and binaries to proper places.	David Aspinall	1998-09-24
\|
*	For building nice package on Linux.	David Aspinall	1998-09-24