diff options
author | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-09-06 15:59:53 +0000 |
---|---|---|
committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-09-06 15:59:53 +0000 |
commit | 2a405677a527d71c403a173615bd9e2a0cd9c90b (patch) | |
tree | 806efb125558034df60a7b1bc2ebe3705313d9bc /lib/explore.ml | |
parent | cc746ea32b1dd61dff9c82db68f2f8ef2131af3f (diff) |
bad env in mimick code
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6065 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/explore.ml')
0 files changed, 0 insertions, 0 deletions