aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
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
2004-09-15majfilliatr
2004-09-15hiding the meta_map in evar_defsbarras
2004-09-14majfilliatr
2004-09-12majfilliatr
2004-09-10majfilliatr
2004-09-08majfilliatr
2004-09-07majfilliatr
2004-09-07deuxieme vague de modifs: evar_defs fonctionnelbarras
2004-09-06majfilliatr
2004-09-03majfilliatr
2004-09-03deplacement de clenv vers pretypingbarras
2004-09-03premiere reorganisation de l\'unificationbarras
2004-08-26majfilliatr
2004-07-25majfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 14:45:03 +0000