proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Updated	David Aspinall	2002-08-12
\|
*	Isabelle2002 instead of Isabelle2001;	Makarius Wenzel	2002-01-21
\|
*	updated;	Makarius Wenzel	2001-12-27
\|
*	tuned;	Makarius Wenzel	2001-09-04
\|
*	no need to adjust the path to bash on the first line (due to /usr/bin/env);	Makarius Wenzel	2001-09-04
\|
*	Add specific install instrs, rearrange.	David Aspinall	2001-09-03
\|
*	updated;	Makarius Wenzel	2001-08-30
\|
*	Isabelle version: 99-1;	Makarius Wenzel	2000-09-19
\| \| \| \|	tuned;
*	New/updated information files	David Aspinall	2000-03-13