diff options
| author | herbelin | 2004-04-27 12:16:13 +0000 |
|---|---|---|
| committer | herbelin | 2004-04-27 12:16:13 +0000 |
| commit | ab1f7cb21b7884862ecbebc596d104158b85efff (patch) | |
| tree | d53096ac128abbee118ea880b4f0b451080331df /make.result | |
| parent | 72eda12d4cb93833c27e5a4aa83c3ee0ef857b49 (diff) | |
Correction incapacité à gérer les annotations de type dépendantes pour le if-then-else
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5706 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'make.result')
0 files changed, 0 insertions, 0 deletions