aboutsummaryrefslogtreecommitdiffhomepage
path: root/ccc/ccc.el
Commit message (Expand)AuthorAge
* 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
* 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