aboutsummaryrefslogtreecommitdiffhomepage
path: root/ccc
Commit message (Collapse)AuthorAge
* 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
| | | | command itself is not supposed to be counted.
* 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
added support for the Casl Consistency Checker (file name extension: .ccc).