proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	New files.	David Aspinall	2006-12-05
\|
*	Deleted file	David Aspinall	2006-12-05
\|
*	Set supported versions of Isabelle (remove 99, 2002 versions).	David Aspinall	2004-04-14
\|
*	Updated.	David Aspinall	2004-04-14
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated	David Aspinall	2002-08-12
\|
*	Isabelle2002 instead of Isabelle2001;	Makarius Wenzel	2002-01-21
\|
*	updated;	Makarius Wenzel	2001-12-27
\|
*	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
\|
*	New/updated information files	David Aspinall	2000-03-13
\|
*	Added README files for each prover, summarizing status.	David Aspinall	2000-03-09