Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Moved handling of mixed undo into the CCC, so there is now just one undo() cmd. | 2004-04-16 | |
* | ccc-count-undos: declare str (doesnae fix bug though) | 2004-04-16 | |
* | Added some syntax stuff (highlight comments etc). | 2004-04-15 | |
* | Updated. | 2004-04-14 | |
* | Modified logic in ccc-count-undos --- thinking that "holcasl" | 2004-04-13 | |
* | Ooops. | 2004-04-13 | |
* | Modify ccc-count-undos according to Christoph's spec. | 2004-04-13 | |
* | Added font-locking and improved undo functionality. | 2004-04-08 | |
* | Fix README | 2004-04-06 | |
* | Added example count undos function (completely untested) | 2004-04-06 | |
* | Added correct instance for proof-goal-command-regexp; makes undo work. | 2004-04-06 | |
* | Another day, another prover: | 2004-04-06 |