proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Add Emacs mode comments at top	David Aspinall	2002-06-24
\|
*	Whitespace	David Aspinall	2002-01-16
\|
*	Accidental commit; revert to original.	David Aspinall	2001-09-03
\|
*	Updating branch	David Aspinall	2001-09-03
\|
*	Remove extra proof."	David Aspinall	2001-05-29
\|
*	tuned;	Makarius Wenzel	2000-08-02
\|
*	Added missing proof.	David Aspinall	2000-06-22
\|
*	proper indentation;	Makarius Wenzel	2000-06-16
\|
*	New goal.	David Aspinall	2000-05-09
\|
*	Added proof-assistant-keymap and commands for defining insert keys.	David Aspinall	2000-05-02
\|
*	tuned example according to Isabelle style-guide;	Makarius Wenzel	1999-09-22