Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added font-locking and improved undo functionality. | cxl | 2004-04-08 |
* | 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 |