| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-12-11 | numarg -> pure_numarg a poursuivre | mohring |
| 2000-12-02 | Portage d'AutoRewrite | delahaye |
| 2000-11-28 | Elimination du ' | delahaye |
| 2000-11-27 | uniformisation messages d'erreur | filliatr |
| 2000-11-27 | MAJ | herbelin |
| 2000-11-26 | MAJ | herbelin |
| 2000-11-24 | MAJ | herbelin |
| 2000-11-24 | - coqc: utilise le meilleur coq possible | filliatr |
| 2000-11-23 | Search réparé | filliatr |
| 2000-11-22 | deplacement poly_args; iterateurs sur les segments | filliatr |
| 2000-11-21 | MAJ | herbelin |
| 2000-10-30 | Ajouts pour les tactiques utilisateur | delahaye |
| 2000-10-28 | MAJ | herbelin |
| 2000-10-27 | MAJ | herbelin |
| 2000-10-26 | MAJ | herbelin |
| 2000-10-24 | MAJ | herbelin |
| 2000-10-23 | MAJ | herbelin |
| 2000-10-23 | MAJ | herbelin |
| 2000-10-19 | MAJ | herbelin |
| 2000-10-18 | MAJ | herbelin |
| 2000-10-13 | TODO | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |