diff options
author | vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-02-26 19:31:31 +0000 |
---|---|---|
committer | vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-02-26 19:31:31 +0000 |
commit | 7cb299f5c1b534246e92e99b39aa4e2b84fbb9e4 (patch) | |
tree | e00a6b0f216d952c32d103d116e38653f3275426 /library/declaremods.ml | |
parent | af0f9fd3a43824d4e86b36a784619736478f4c83 (diff) |
New backtracking code + fix bug #2082.
Previous code checkings were too lax, and information was lost.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12823 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'library/declaremods.ml')
0 files changed, 0 insertions, 0 deletions