Tree @upstream/8.11_beta1 (Download .tar.gz)
- ..
- autorewritein.v
- Case1.v
- Case10.v
- Case11.v
- Case12.v
- Case13.v
- Case14.v
- Case15.v
- Case16.v
- Case2.v
- Case3.v
- Case4.v
- Case5.v
- Case6.v
- Case7.v
- Case8.v
- Case9.v
- cases.v
- check.v
- circular_subtyping.v
- clash_cons.v
- clashes.v
- ClearBody.v
- cofixpoint.v
- coqbugs0266.v
- evar1.v
- evarclear1.v
- evarclear2.v
- evarlemma.v
- fixpoint1.v
- fixpoint2.v
- fixpoint3.v
- fixpoint4.v
- fixpointeta.v
- guard.v
- guard_cofix.v
- illtype1.v
- ImportedCoercion.v
- inductive.v
- int63.v
- ltac1.v
- ltac2.v
- ltac4.v
- Notations.v
- pattern.v
- positivity.v
- proofirrelevance.v
- prop_set_proof_irrelevance.v
- redef.v
- Reordering.v
- rewrite_in_goal.v
- rewrite_in_hyp.v
- rewrite_in_hyp2.v
- search.v
- Sections.v
- sortelim.v
- subterm.v
- subterm2.v
- subterm3.v
- subtyping.v
- subtyping2.v
- Tauto.v
- Template.v
- Uminus.v
- univ_include.v
- universes.v
- universes3.v
- universes_buraliforti.v
- universes_buraliforti_redef.v
- universes_sections1.v
- universes_sections2.v
History of test-suite / failure @upstream/8.11_beta1
- New upstream version 8.11~beta1 Ralf Treinen 4 years ago
- New upstream version 8.10.1 Ralf Treinen 4 years ago
- Imported Upstream version 8.9.0 Benjamin Barenblat 5 years ago
- Imported Upstream version 8.8.2 Benjamin Barenblat 5 years ago
- Imported Upstream version 8.6 Enrico Tassi 7 years ago
- Imported Upstream version 8.5 Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta3+dfsg Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta1+dfsg Enrico Tassi 9 years ago
- Imported Upstream version 8.4pl4dfsg Stephane Glondu 9 years ago
- Imported Upstream version 8.4dfsg Stephane Glondu 11 years ago
- Imported Upstream version 8.4~beta Stephane Glondu 12 years ago
- Imported Upstream version 8.3.pl3 Stephane Glondu 12 years ago
- Imported Upstream version 8.3 Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13323 Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13298 Stephane Glondu 13 years ago
- Imported Upstream version 8.2~rc2+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~beta4+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~beta3+dfsg Samuel Mimram 15 years ago
- Imported Upstream version 8.1~gamma Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1beta.2 Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1beta Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1alpha Samuel Mimram 18 years ago
- Imported Upstream version 8.0pl1 Samuel Mimram 19 years ago