Tree @upstream/8.11.0 (Download .tar.gz)
- ..
- abstract.ml
- abstract.mli
- auto.ml
- auto.mli
- autorewrite.ml
- autorewrite.mli
- btermdn.ml
- btermdn.mli
- class_tactics.ml
- class_tactics.mli
- contradiction.ml
- contradiction.mli
- declare.ml
- declare.mli
- declareScheme.ml
- declareScheme.mli
- dn.ml
- dn.mli
- dnet.ml
- dnet.mli
- dune
- eauto.ml
- eauto.mli
- elim.ml
- elim.mli
- elimschemes.ml
- elimschemes.mli
- eqdecide.ml
- eqdecide.mli
- eqschemes.ml
- eqschemes.mli
- equality.ml
- equality.mli
- genredexpr.ml
- hints.ml
- hints.mli
- hipattern.ml
- hipattern.mli
- ind_tables.ml
- ind_tables.mli
- inv.ml
- inv.mli
- leminv.ml
- leminv.mli
- pfedit.ml
- pfedit.mli
- ppred.ml
- ppred.mli
- proof_global.ml
- proof_global.mli
- redexpr.ml
- redexpr.mli
- redops.ml
- redops.mli
- tacticals.ml
- tacticals.mli
- tactics.ml
- tactics.mli
- tactics.mllib
- term_dnet.ml
- term_dnet.mli
History of tactics @upstream/8.11.0
- 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
- 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