proof-general/ccc, branch master Emacs plugins for proof management systems Cleanup 2012-02-07T10:25:18+00:00 David Aspinall 2012-02-07T10:25:18+00:00 4c83bda09cac74061d0f732642b56dc4093da244 






Replace proof-terminal-char with proof-terminal-string.
2010-08-27T16:32:16+00:00

David Aspinall

2010-08-27T16:32:16+00:00

e1a327e5621d191fe408d12b331d05dda17b395c












Fix compiler warnings
2009-09-07T09:09:35+00:00

David Aspinall

2009-09-07T09:09:35+00:00

ba364c8e3347a775afba434a7aa4abeecd4d52d4












Clean whitespace
2009-09-05T10:42:23+00:00

David Aspinall

2009-09-05T10:42:23+00:00

b35ce5388cfbd86b2be92e7acb56ff4aa215f58a












Remove proof-shell-prompt-pattern, no longer used.
2009-09-04T16:42:57+00:00

David Aspinall

2009-09-04T16:42:57+00:00

17460bf8b246b7f26b390ca67145c11ee230de9d












Remove proof-shell-init-cmd
2005-09-30T10:25:31+00:00

David Aspinall

2005-09-30T10:25:31+00:00

943004956a28c319ff9d5c66291631aa09a7d656












Moved handling of mixed undo into the CCC, so there is now just one undo() cmd.
2004-04-16T13:05:15+00:00

cxl

2004-04-16T13:05:15+00:00

4a378b48b2419e5e6da0c0e93d5179fa0f9d4aa3












ccc-count-undos: declare str (doesnae fix bug though)
2004-04-16T12:33:27+00:00

David Aspinall

2004-04-16T12:33:27+00:00

e93dbdbdf75ea09fb93f70187052158a877b9c6d












Added some syntax stuff (highlight comments etc).
2004-04-15T21:48:07+00:00

cxl

2004-04-15T21:48:07+00:00

c39ae5296c474c17ef393279d84715cf7c357f5c












Updated.
2004-04-14T16:30:28+00:00

David Aspinall

2004-04-14T16:30:28+00:00

c621a2ea58e24b04db91787e38a6842fe80a477b