| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | passage V8 |  filliatr | 2003-09-26 |
| * | Changement s�mantique Match term |  herbelin | 2003-01-22 |
| * | Utilisation de 'Recursive' pour les tactiques r�cursives | herbelin | 2003-01-20 |
| * | MAJ Ltac | herbelin | 2003-01-19 |
| * | problemes avec le rendu html des tabbing dans la doc de Ltac |  barras | 2001-12-18 |
| * | Orthographe | herbelin | 2001-10-02 |
| * | Mise-a-jour de la biblio |  delahaye | 2001-04-25 |
| * | Revision Tauto, AutoRewrite + Ajout de Ltac | delahaye | 2001-04-08 |
| * | mise a jour V7 | filliatr | 2001-04-06 |
| * | ajout chapitre langage de tactiques; suppression chapitre obsoletes | filliatr | 2001-04-05 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |