| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-10-30 | Added a tactic entry for Jprover + commented out inputenc in the main file | corbinea |
| 2002-12-12 | Stupid mistake | coq |
| 2002-10-05 | Doc module, premiere version | coq |
| 2001-12-18 | problemes avec le rendu html des tabbing dans la doc de Ltac | barras |
| 2001-06-12 | Ajout de la doc pour la tactique Setoid_replace. | clrenard |
| 2001-04-25 | Ajout de \begin{coq_eval} Reset Initial. \end{coq_eval} pour remettre les | courant |
| 2001-04-11 | documentation automatique de la biblio standard | filliatr |
| 2001-04-09 | \usepackage{url} | filliatr |
| 2001-04-09 | Mise a jour du chapitre library | mohring |
| 2001-04-05 | ajout chapitre langage de tactiques; suppression chapitre obsoletes | filliatr |
| 2000-12-16 | RefMan-oth.tex subit d�sormais coq-tex | herbelin |
| 2000-12-12 | Initial revision | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |