diff options
author | 2009-10-30 14:18:34 +0000 | |
---|---|---|
committer | 2009-10-30 14:18:34 +0000 | |
commit | b8018319137599b5809bcce0aafca2ecf96b4bf9 (patch) | |
tree | 0f1c2671bca0eaa189354b8b845db5c98f0c0a1d /INSTALL.doc | |
parent | 4da1d9ee92f6764e8dee236730652391323a2ec5 (diff) |
Attempt to capture on time unification errors for "with" bindings.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12450 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL.doc')
0 files changed, 0 insertions, 0 deletions