| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-04-07 | - Documentation of the Program tactics. | msozeau |
| 2006-02-04 | Ajout nat_path et find_reference | herbelin |
| 2006-01-25 | exporting the global reference to the inductive " \/ " in coqlib and | bertot |
| 2005-12-30 | Ajout booléens; nettoyage | herbelin |
| 2005-12-26 | Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis... | herbelin |
| 2005-02-06 | Nettoyage et documentation de Library | herbelin |
| 2005-01-21 | Compatibilité ocamlweb pour cible doc | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2003-11-01 | Controle par le prefixe et plus par le nom absolu pour la recherche d'objets ... | herbelin |
| 2003-09-26 | Un peu plus de souplesse dans la globalisation des noms utilises par les tact... | herbelin |
| 2003-05-19 | Restructuration des procédures de filtrage | herbelin |
| 2003-03-31 | factorisation des "constant" dans les contrib/* ( maintenant dans coqlib ) | corbinea |
| 2002-11-14 | Réforme de l'interprétation des termes : | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |