proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	put isabelle-users address in alphabetic order	Thomas Kleymann	1998-10-02
\|
*	Added isabelle-users, mentioned toolbar.	David Aspinall	1998-10-02
\|
*	draft for first pre-release	Thomas Kleymann	1998-10-02
\|
*	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."
*	Adjusted for older rpm	David Aspinall	1998-10-01
\|
*	Updated for new path in coqtags	David Aspinall	1998-10-01
\|
*	Moved info file and binaries to proper places.	David Aspinall	1998-09-24
\|
*	Moved to /usr/lib/emacs	David Aspinall	1998-09-24
\|
*	Added %clean	David Aspinall	1998-09-24
\|
*	Removed .orig files after patch	David Aspinall	1998-09-24
\|
*	For building nice package on Linux.	David Aspinall	1998-09-24