diff options
| author | herbelin | 2007-09-26 20:59:34 +0000 |
|---|---|---|
| committer | herbelin | 2007-09-26 20:59:34 +0000 |
| commit | 142a857315eeccd54ef37792d66458d95a4dd78f (patch) | |
| tree | 7d00c27aa5f833beaf8ce85e080c06e5ce4fff0e /kernel/make-opcodes | |
| parent | 5f4a8ef2cd2a8ad965366530bef9e793337b023b (diff) | |
Complément aux commits 10124 et 10125 sur l'inférence de type (correction
de plusieurs bugs d'indice, de List.rev, d'oubli d'application de
whd_evar + code plus concis pour l'argument optionnel "filter").
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10145 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/make-opcodes')
0 files changed, 0 insertions, 0 deletions