proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Removed erroneous mention of an elisp directory	David Aspinall	1998-10-02
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Added note about changing perl path in {coq,lego}tags.	David Aspinall	1998-09-24
\|
*	Updated instructions	David Aspinall	1998-09-23
\|
*	Updated install script after finding problems with Savi's setup.	Healfdene Goguen	1998-05-14
\|
*	Added comments about info file and default values in coq.el.	Healfdene Goguen	1998-05-06
\|
*	Simpler procedure for compiling emacs lisp.	Healfdene Goguen	1998-05-06
\| \| \| \|	Added coq-info-dir so that script-management.info can be hard-coded.
*	Basic instructions that come with package	Healfdene Goguen	1998-05-05