| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-03-21 | *** empty log message *** | barras |
| 2003-03-12 | *** empty log message *** | barras |
| 2002-12-10 | Compatibilite times1 (suite) | herbelin |
| 2002-12-09 | Nouvelle preuve de times_convert pour nouvelle définition de times | herbelin |
| 2002-12-07 | Compatibilité times1 | herbelin |
| 2002-12-06 | Un axiome en attendant la mise a jour de la preuve de times_convert | herbelin |
| 2002-12-06 | Amélioration sensible de l'efficacité de la multiplication | herbelin |
| 2002-04-17 | Uniformisation (Qed/Save et Implicits Arguments) | herbelin |
| 2002-02-14 | option -dump-glob pour coqdoc | filliatr |
| 2001-08-05 | Expérimentation de NewDestruct et parfois NewInduction | herbelin |
| 2001-04-19 | remplace Zarith par ZArith | mohring |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |