proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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).