diff options
| author | herbelin | 2010-04-17 19:04:21 +0000 |
|---|---|---|
| committer | herbelin | 2010-04-17 19:04:21 +0000 |
| commit | 6022cfa362ec218bda39b0bda7f307e2664c3e26 (patch) | |
| tree | 2962cf083089f177c4f033250a453da6656c4859 /kernel | |
| parent | 3c73a7b325dfb0bd7634abd0932674ec96479829 (diff) | |
Moved Case3.v from ideal features to success (it works since 8.2).
Two other tests are still "ideal features" though not failing
(evars_subst.v is a complexity test still of bad complexity and
universes.v just describes an improvement to do without checking
anything).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12949 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions