proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	Replace proof-terminal-char with proof-terminal-string.	David Aspinall	2010-08-27
\|
*	Prevent compile warnings	David Aspinall	2009-09-06
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Remove proof-shell-prompt-pattern, no longer used.	David Aspinall	2009-09-04
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Deleted file	David Aspinall	2007-12-13
\|
*	New files.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-15
\|
*	Remove X-symbol support from secondary provers temporarily	David Aspinall	2004-04-14
\|
*	Updated.	David Aspinall	2004-04-02
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Variable name change proof-comment-{start,end}-regexp -> ↵	David Aspinall	2002-07-19
\| \| \| \|	proof-script-comment-{start,end}-regexp.
*	ws	David Aspinall	2002-07-14
\|
*	Add specific install instrs, rearrange.	David Aspinall	2001-09-03
\|
*	Add Pierre's tweak	David Aspinall	2000-09-23
\|
*	Explanatory comments	David Aspinall	2000-05-11
\|
*	Decoration tweaks	David Aspinall	2000-04-07
\|
*	Fixed up proof-shell-proof-completed mess nicely.	David Aspinall	2000-04-07
\|
*	Use pg command pg_top_thm_and_drop	David Aspinall	2000-03-24
\|
*	Improved HOL support, now joins together commands in proof properly.	David Aspinall	2000-03-24
\|
*	Updated	David Aspinall	2000-03-24
\|
*	Comment	David Aspinall	2000-03-23
\|
*	Hooray, I proved a theorem.	David Aspinall	2000-03-23
\|
*	Fix name of HOL98.	David Aspinall	2000-03-23
\|
*	Set proof-shell-filename-escapes, switch back to %s	David Aspinall	2000-03-22
\|
*	Use new format character %s to %e to cope with nasty filenames with backslashes.	David Aspinall	2000-03-22
\|
*	More reliable prompt regexp	David Aspinall	2000-03-19
\|
*	Updated	David Aspinall	2000-03-19
\|
*	Note about diff HOL versions.	David Aspinall	2000-03-13
\|
*	Improvements	David Aspinall	2000-03-13
\|
*	New/updated information files	David Aspinall	2000-03-13
\|
*	Updated	David Aspinall	2000-03-10
\|
*	TODOs for HOL.	David Aspinall	2000-03-10
\|
*	Added decoration and syntax table entries.	David Aspinall	2000-03-10
\|
*	Symbol for ==>	David Aspinall	2000-03-10
\|
*	First bash at HOL support, working but barely	David Aspinall	2000-03-09
\|
*	Added README files for each prover, summarizing status.	David Aspinall	2000-03-09