proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Cleanup	David Aspinall	2012-02-07
\|
*	Replace proof-terminal-char with proof-terminal-string.	David Aspinall	2010-08-27
\|
*	Fix compiler warnings	David Aspinall	2009-09-07
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Remove proof-shell-prompt-pattern, no longer used.	David Aspinall	2009-09-04
\|
*	Remove proof-shell-init-cmd	David Aspinall	2005-09-30
\|
*	Moved handling of mixed undo into the CCC, so there is now just one undo() cmd.	cxl	2004-04-16
\|
*	ccc-count-undos: declare str (doesnae fix bug though)	David Aspinall	2004-04-16
\|
*	Added some syntax stuff (highlight comments etc).	cxl	2004-04-15
\|
*	Updated.	David Aspinall	2004-04-14
\|
*	Modified logic in ccc-count-undos --- thinking that "holcasl"	David Aspinall	2004-04-13
\| \| \| \|	command itself is not supposed to be counted.
*	Ooops.	David Aspinall	2004-04-13
\|
*	Modify ccc-count-undos according to Christoph's spec.	David Aspinall	2004-04-13
\|
*	Added font-locking and improved undo functionality.	cxl	2004-04-08
\|
*	Fix README	David Aspinall	2004-04-06
\|
*	Added example count undos function (completely untested)	David Aspinall	2004-04-06
\|
*	Added correct instance for proof-goal-command-regexp; makes undo work.	cxl	2004-04-06
\|
*	Another day, another prover:	cxl	2004-04-06
	added support for the Casl Consistency Checker (file name extension: .ccc).