Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Parsing | 2001-08-10 | |
* | Ajout glob_eq{,T} | 2001-07-02 | |
* | branchement extraction (bytecode seulement) | 2001-03-30 | |
* | entetes | 2001-03-15 | |
* | Centralisation des références à des globaux de Coq dans Coqlib (ex-Stdlib)... | 2001-02-14 |