diff options
| author | Pierre Courtieu | 2005-02-10 18:08:16 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2005-02-10 18:08:16 +0000 |
| commit | d8775673a7a6c8d1e94aed1f007e2249aea19f50 (patch) | |
| tree | 4ee8df84c40577e74d9b8f200d18d271abd01210 /generic/proof-syntax.el | |
| parent | df57a722603aa5c28645fa983116a7eb67617b0b (diff) | |
Deleted compatibility for coq v6 and v7 + new backtracking system. For
now it can be triggered only by using coq-version-is-v8-1.
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions