aboutsummaryrefslogtreecommitdiffhomepage
path: root/ccc
Commit message (Expand)AuthorAge
* CleanupGravatar David Aspinall2012-02-07
* Replace proof-terminal-char with proof-terminal-string.Gravatar David Aspinall2010-08-27
* Fix compiler warningsGravatar David Aspinall2009-09-07
* Clean whitespaceGravatar David Aspinall2009-09-05
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* Remove proof-shell-init-cmdGravatar David Aspinall2005-09-30
* Moved handling of mixed undo into the CCC, so there is now just one undo() cmd.Gravatar cxl2004-04-16
* ccc-count-undos: declare str (doesnae fix bug though)Gravatar David Aspinall2004-04-16
* Added some syntax stuff (highlight comments etc).Gravatar cxl2004-04-15
* Updated.Gravatar David Aspinall2004-04-14
* Modified logic in ccc-count-undos --- thinking that "holcasl"Gravatar David Aspinall2004-04-13
* Ooops.Gravatar David Aspinall2004-04-13
* Modify ccc-count-undos according to Christoph's spec.Gravatar David Aspinall2004-04-13
* Added font-locking and improved undo functionality.Gravatar cxl2004-04-08
* Fix READMEGravatar David Aspinall2004-04-06
* Added example count undos function (completely untested)Gravatar David Aspinall2004-04-06
* Added correct instance for proof-goal-command-regexp; makes undo work.Gravatar cxl2004-04-06
* Another day, another prover:Gravatar cxl2004-04-06