proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
*	Adjust proof-shell-annotated-prompt-regexp to match latest Isabelle versions	David Aspinall	2004-03-30
*	Update email and web addresses	David Aspinall	2004-02-08
*	Add comment	David Aspinall	2002-09-14
*	Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...	David Aspinall	2002-07-19
*	Refactor several variable names; clean up, doc subterm markup and output disp...	David Aspinall	2002-07-16
*	Layout, comments.	David Aspinall	2002-07-14
*	Accidental update; revert to previous	David Aspinall	2001-09-03
*	Rearrange	David Aspinall	2001-09-03
*	Updating branch	David Aspinall	2001-09-03
*	Comment fix	David Aspinall	2000-09-29
*	Encourage use of demoisa-easy.el	David Aspinall	2000-09-14
*	Encourage use of demoisa-easy.el	David Aspinall	2000-09-14
*	pbp-mode -> goals-mode	David Aspinall	2000-04-07
*	Fixed up proof-shell-proof-completed mess nicely.	David Aspinall	2000-04-07
*	Updated Isabelle home page.	David Aspinall	2000-03-23
*	New/updated information files	David Aspinall	2000-03-13
*	Moved some comments to README	David Aspinall	2000-03-09
*	Added README files for each prover, summarizing status.	David Aspinall	2000-03-09
*	Consider proof-easy-config no-longer experimental.	David Aspinall	1999-11-26
*	Bug fix in regexp.	David Aspinall	1999-11-24
*	Fix to -with-hole regexps	David Aspinall	1999-11-17
*	Formatting	David Aspinall	1999-11-17
*	Fixed some docstrings	David Aspinall	1999-11-17
*	Note about setting env variable to test this.	David Aspinall	1999-11-17
*	Second version of easy-config, without defvaralias use.	David Aspinall	1999-11-16
*	Working version of easy-config.	David Aspinall	1999-11-16
*	Fully working Isabelle PG in 30 setqs	David Aspinall	1999-11-16
*	Added example instantiation demoisa	David Aspinall	1999-11-13