Tree @a9a05f09-3bd0-40d2-a077-6b56e9a2974b/main (Download .tar.gz)
- ..
- arguments_renaming.ml
- arguments_renaming.mli
- cases.ml
- cases.mli
- cbv.ml
- cbv.mli
- coercion.ml
- coercion.mli
- coercionops.ml
- coercionops.mli
- constr_matching.ml
- constr_matching.mli
- detyping.ml
- detyping.mli
- dune
- evarconv.ml
- evarconv.mli
- evardefine.ml
- evardefine.mli
- evarsolve.ml
- evarsolve.mli
- find_subterm.ml
- find_subterm.mli
- geninterp.ml
- geninterp.mli
- glob_ops.ml
- glob_ops.mli
- glob_term.ml
- globEnv.ml
- globEnv.mli
- heads.ml
- heads.mli
- indrec.ml
- indrec.mli
- inductiveops.ml
- inductiveops.mli
- keys.ml
- keys.mli
- locus.ml
- locusops.ml
- locusops.mli
- ltac_pretype.ml
- nativenorm.ml
- nativenorm.mli
- pattern.ml
- patternops.ml
- patternops.mli
- pretype_errors.ml
- pretype_errors.mli
- pretyping.ml
- pretyping.mli
- program.ml
- program.mli
- reductionops.ml
- reductionops.mli
- retyping.ml
- retyping.mli
- structures.ml
- structures.mli
- tacred.ml
- tacred.mli
- typeclasses.ml
- typeclasses.mli
- typeclasses_errors.ml
- typeclasses_errors.mli
- typing.ml
- typing.mli
- unification.ml
- unification.mli
- vnorm.ml
- vnorm.mli
History of pretyping @a9a05f09-3bd0-40d2-a077-6b56e9a2974b/main
- New upstream version 8.14.0+dfsg Julien Puydt 2 years ago
- New upstream version 8.12.0 Ralf Treinen 3 years ago
- New upstream version 8.11.1~pre1 Ralf Treinen 4 years ago
- New upstream version 8.11.0 Ralf Treinen 4 years ago
- New upstream version 8.11~beta1 Ralf Treinen 4 years ago
- New upstream version 8.10.2 Ralf Treinen 4 years ago
- New upstream version 8.10.1 Ralf Treinen 4 years ago
- New upstream version 8.9.1 Stephane Glondu 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~beta2+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.4pl3dfsg Stephane Glondu 10 years ago
- Imported Upstream version 8.4pl2dfsg Stephane Glondu 11 years ago
- Imported Upstream version 8.4pl1dfsg Stephane Glondu 11 years ago
- Imported Upstream version 8.4dfsg Stephane Glondu 11 years ago
- Imported Upstream version 8.4~gamma0+really8.4beta2 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.pl2 Stephane Glondu 13 years ago
- Imported Upstream version 8.3pl1 Stephane Glondu 13 years ago
- Imported Upstream version 8.3 Stephane Glondu 13 years ago
- Imported Upstream version 8.3~rc1+dfsg 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.2pl2+dfsg Stephane Glondu 13 years ago