Commit message (Expand) | Author | Age | |
---|---|---|---|
* | GROS COMMIT: | 2001-11-05 | |
* | Suppression de Logic_Type.sigT, redondant avec Specif.sigT | 2001-10-24 | |
* | Suppression option immediate_discharge; nettoyage de Declare et conséquences | 2001-10-11 | |
* | Parsing | 2001-08-10 | |
* | Ajout glob_eq{,T} | 2001-07-02 | |
* | branchement extraction (bytecode seulement) | 2001-03-30 | |
* | entetes | 2001-03-15 | |
* | Déplacement de qualid dans Nametab, hors du noyau | 2001-03-01 | |
* | ident au lieu de string pour le nom de base de qualid | 2001-02-16 | |
* | Centralisation des références à des globaux de Coq dans Coqlib (ex-Stdlib)... | 2001-02-14 |