aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/coqlib.mli
Commit message (Expand)AuthorAge
* branchement extraction (bytecode seulement)Gravatar filliatr2001-03-30
* entetesGravatar filliatr2001-03-15
* Centralisation des références à des globaux de Coq dans Coqlib (ex-Stdlib)...Gravatar herbelin2001-02-14