diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2005-02-10 18:08:16 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2005-02-10 18:08:16 +0000 |
| commit | d8775673a7a6c8d1e94aed1f007e2249aea19f50 (patch) | |
| tree | 4ee8df84c40577e74d9b8f200d18d271abd01210 /phox | |
| 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 'phox')
0 files changed, 0 insertions, 0 deletions