aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
2005-04-07majcoq
2005-03-24majcoq
2005-03-22majcoq
2005-03-22Ajout de l'axiome du but prouve par la tactique simplificoq
2005-03-19majcoq
2005-03-18majcoq
2005-03-18appel de Simplify depuis Coqcoq
2005-03-17majcoq
2005-03-17majcoq
2005-03-16majcoq
2005-03-16tactiques prouveurs premier ordre dans contrib/dp/coq
2005-03-15majcoq
2005-03-08majcoq
2005-02-21majcoq
2005-02-18majcoq
2005-02-18Moving centralised discharge into dispatched discharge_functionherbelin
2005-02-17majcoq
2005-02-12majcoq
2005-02-06majcoq
2005-02-04majcoq
2005-02-04Ajout g_xml.ml4 et cic2Xml.mlherbelin
2005-02-04Ajout g_xml.ml4 et cic2Xml.mlherbelin
2005-01-17majcoq
2005-01-14majcoq
2005-01-03majcoq
2005-01-03HUGE COMMITsacerdot
2005-01-02majcoq
2005-01-02MAJherbelin
2004-12-31majcoq
2004-12-29majcoq
2004-12-27majcoq
2004-12-25majcoq
2004-12-24Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...herbelin
2004-12-09majcoq
2004-12-07majcoq
2004-11-16Names.substitution (and related functions) and Term.subst_mps moved tosacerdot
2004-10-20majfilliatr
2004-10-20COMMITED BYTECODE COMPILERbarras
2004-10-18majfilliatr
2004-10-17majfilliatr
2004-10-15majfilliatr
2004-10-05majfilliatr
2004-09-28majfilliatr
2004-09-24majfilliatr
2004-09-24New: (temporary) concrete syntax to specify the morphism signature:sacerdot
2004-09-22majfilliatr
2004-09-20pbs with link order and depsbarras
2004-09-17majfilliatr
2004-09-17restructuration des printers: proofs passe avant parsingbarras
2004-09-17repaired depsbarras
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 13:37:57 +0000