diff options
| author |  barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-06-08 09:30:39 +0000 |
|---|---|---|
| committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-06-08 09:30:39 +0000 |
| commit | f7bb1cf476d3f1ecf555a2ddf5dd39bdf3c6f777 (patch) | |
| tree | b946d8e278d3a727bebee45febf110e931e9c9cf /make.result | |
| parent | 26e30a388e6950776fdbdbfe7483d83942ddfced (diff) | |
evar declarees avec mauvais type
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7125 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'make.result')
0 files changed, 0 insertions, 0 deletions