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/phox.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 'phox/phox.el')
0 files changed, 0 insertions, 0 deletions