proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Explained one-prover issue better.	David Aspinall	1998-12-11
\|
*	Minor fixes/improvements	David Aspinall	1998-11-12
\|
*	Updated and improved.	David Aspinall	1998-11-03
\|
*	Added instructions for byte compilation, and other notes.	David Aspinall	1998-10-27
\|
*	added note about Emacs versions	David Aspinall	1998-10-12
\|
*	Customize also works in FSFmacs now	David Aspinall	1998-10-12
\|
*	Added some notes for Isabelle	David Aspinall	1998-10-07
\|
*	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