| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Revision 12439 continued, printing part (notations to names behave |  herbelin | 2009-10-29 |
| * | Local/Global revision 12418 continued | herbelin | 2009-10-26 |
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | Correction bug calcul des implicites en présence d'evars dans les types | herbelin | 2007-05-16 |
| * | Extension et réorganisation de l'interprétation des (co-)points fixes | herbelin | 2006-09-01 |
| * | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | herbelin | 2005-12-21 |
| * | Corrections | herbelin | 2004-03-12 |
| * | Exemple de Frederic | herbelin | 2004-02-28 |
| * | Niveau V8 | herbelin | 2003-11-13 |
| * | Fermeture de la section maintenant necessaire | herbelin | 2003-11-13 |
| * | Ajout d'un exemple de Christine | herbelin | 2001-12-21 |
| * | *** empty log message *** | herbelin | 2001-12-13 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |