aboutsummaryrefslogtreecommitdiffhomepage
path: root/.depend
Commit message (Expand)AuthorAge
* majGravatar coq2005-01-17
* majGravatar coq2005-01-14
* majGravatar coq2005-01-03
* HUGE COMMITGravatar sacerdot2005-01-03
* majGravatar coq2005-01-02
* MAJGravatar herbelin2005-01-02
* majGravatar coq2004-12-31
* majGravatar coq2004-12-29
* majGravatar coq2004-12-27
* majGravatar coq2004-12-25
* Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...Gravatar herbelin2004-12-24
* majGravatar coq2004-12-09
* majGravatar coq2004-12-07
* Names.substitution (and related functions) and Term.subst_mps moved toGravatar sacerdot2004-11-16
* majGravatar filliatr2004-10-20
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* majGravatar filliatr2004-10-18
* majGravatar filliatr2004-10-17
* majGravatar filliatr2004-10-15
* majGravatar filliatr2004-10-05
* majGravatar filliatr2004-09-28
* majGravatar filliatr2004-09-24
* New: (temporary) concrete syntax to specify the morphism signature:Gravatar sacerdot2004-09-24
* majGravatar filliatr2004-09-22
* pbs with link order and depsGravatar barras2004-09-20
* majGravatar filliatr2004-09-17
* restructuration des printers: proofs passe avant parsingGravatar barras2004-09-17
* repaired depsGravatar barras2004-09-17
* majGravatar filliatr2004-09-15
* hiding the meta_map in evar_defsGravatar barras2004-09-15
* majGravatar filliatr2004-09-14
* majGravatar filliatr2004-09-12
* majGravatar filliatr2004-09-10
* majGravatar filliatr2004-09-08
* majGravatar filliatr2004-09-07
* deuxieme vague de modifs: evar_defs fonctionnelGravatar barras2004-09-07
* majGravatar filliatr2004-09-06
* majGravatar filliatr2004-09-03
* deplacement de clenv vers pretypingGravatar barras2004-09-03
* premiere reorganisation de l\'unificationGravatar barras2004-09-03
* majGravatar filliatr2004-08-26
* majGravatar filliatr2004-07-25
* majGravatar filliatr2004-07-23
* majGravatar filliatr2004-07-20
* majGravatar filliatr2004-07-19
* MAJGravatar herbelin2004-07-16
* majGravatar filliatr2004-07-08
* majGravatar filliatr2004-06-30
* majGravatar filliatr2004-06-29
* moved instantiate binding to extratacticsGravatar corbinea2004-06-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 13:56:16 +0000