Tree @upstream/8.4pl2dfsg (Download .tar.gz)
- ..
- arguments_renaming.ml
- arguments_renaming.mli
- cases.ml
- cases.mli
- cbv.ml
- cbv.mli
- classops.ml
- classops.mli
- coercion.ml
- coercion.mli
- detyping.ml
- detyping.mli
- doc.tex
- evarconv.ml
- evarconv.mli
- evarutil.ml
- evarutil.mli
- evd.ml
- evd.mli
- glob_term.ml
- glob_term.mli
- indrec.ml
- indrec.mli
- inductiveops.ml
- inductiveops.mli
- matching.ml
- matching.mli
- namegen.ml
- namegen.mli
- pattern.ml
- pattern.mli
- pretype_errors.ml
- pretype_errors.mli
- pretyping.ml
- pretyping.mli
- pretyping.mllib
- recordops.ml
- recordops.mli
- reductionops.ml
- reductionops.mli
- retyping.ml
- retyping.mli
- tacred.ml
- tacred.mli
- term_dnet.ml
- term_dnet.mli
- termops.ml
- termops.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 @upstream/8.4pl2dfsg
- 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
- Imported Upstream version 8.2.pl1+dfsg Stephane Glondu 14 years ago
- Imported Upstream version 8.2-1+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~rc2+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~beta4.svn20080907+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.pl3+dfsg Samuel Mimram 16 years ago
- Imported Upstream version 8.1.pl2+dfsg Samuel Mimram 16 years ago
- Imported Upstream version 8.1.pl1+dfsg Samuel Mimram 16 years ago
- Imported Upstream version 8.1+dfsg Samuel Mimram 17 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.0pl3 Samuel Mimram 18 years ago
- Imported Upstream version 8.0pl2 Samuel Mimram 19 years ago
- Imported Upstream version 8.0pl1 Samuel Mimram 19 years ago