index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ccc
Commit message (
Expand
)
Author
Age
*
Clean whitespace
David Aspinall
2009-09-05
*
Remove proof-shell-prompt-pattern, no longer used.
David Aspinall
2009-09-04
*
Remove proof-shell-init-cmd
David Aspinall
2005-09-30
*
Moved handling of mixed undo into the CCC, so there is now just one undo() cmd.
cxl
2004-04-16
*
ccc-count-undos: declare str (doesnae fix bug though)
David Aspinall
2004-04-16
*
Added some syntax stuff (highlight comments etc).
cxl
2004-04-15
*
Updated.
David Aspinall
2004-04-14
*
Modified logic in ccc-count-undos --- thinking that "holcasl"
David Aspinall
2004-04-13
*
Ooops.
David Aspinall
2004-04-13
*
Modify ccc-count-undos according to Christoph's spec.
David Aspinall
2004-04-13
*
Added font-locking and improved undo functionality.
cxl
2004-04-08
*
Fix README
David Aspinall
2004-04-06
*
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