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 (
Collapse
)
Author
Age
*
Replace proof-terminal-char with proof-terminal-string.
David Aspinall
2010-08-27
|
*
Fix compiler warnings
David Aspinall
2009-09-07
|
*
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
|
|
|
|
command itself is not supposed to be counted.
*
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
added support for the Casl Consistency Checker (file name extension: .ccc).