| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-02-23 | Nettoyage de l'archive doc et restructuration avant intégration à l'archive | herbelin |
| 2005-05-20 | Updated new names of Local into Let | herbelin |
| 2004-10-15 | Documentation 'Focus num' | herbelin |
| 2003-12-30 | modif generales claude | coq |
| 2003-12-21 | Ajout Admitted | herbelin |
| 2003-12-19 | passe sur les labels et les refs dans chapitres tactiques | filliatr |
| 2003-12-18 | doc proof with | narboux |
| 2003-12-18 | avancement | clrenard |
| 2003-12-16 | tactiques | filliatr |
| 2003-12-15 | Relecture v8 | clrenard |
| 2003-12-12 | subtree no | marche |
| 2003-08-04 | Bug 'Set Hyps Limit' | herbelin |
| 2001-10-17 | Corrections diverses | herbelin |
| 2001-09-17 | Documentation de Show Intro(s) | letouzey |
| 2001-09-14 | MAJ Fact/Remark | herbelin |
| 2001-04-09 | MAJ des 'Save (thm_tok)? id' and co | herbelin |
| 2001-04-09 | Mise a jour V7 | courant |
| 2000-12-12 | Initial revision | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |