proof-general/ccc/README, branch master Emacs plugins for proof management systems Updated. 2004-04-14T16:30:28+00:00 David Aspinall 2004-04-14T16:30:28+00:00 c621a2ea58e24b04db91787e38a6842fe80a477b 






Fix README
2004-04-06T16:33:59+00:00

David Aspinall

2004-04-06T16:33:59+00:00

eb2fb1dab704ee39fe81ab46a120f53622888ef3












Another day, another prover:
2004-04-06T10:43:35+00:00

cxl

2004-04-06T10:43:35+00:00

af28de6eb11eaff7b4c312eb73c8592600e16b23

added support for the Casl Consistency Checker (file name extension: .ccc).





added support for the Casl Consistency Checker (file name extension: .ccc).