| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | version 7.4 |  filliatr | 2003-02-03 |
| * | MAJ Ltac |  herbelin | 2003-01-19 |
| * | Doc module, premiere version |  coq | 2002-10-05 |
| * | MAJ V7.3 | herbelin | 2002-05-16 |
| * | MAJ 7.2 | herbelin | 2001-12-23 |
| * | MAJ, nettoyage coercions | herbelin | 2001-10-26 |
| * | MAJ V7.1 | herbelin | 2001-10-02 |
| * | Divers | herbelin | 2001-09-26 |
| * | Diverses MAJ V7.1 autour des qualid | herbelin | 2001-09-21 |
| * | Ajout syntaxe et regles let-in | herbelin | 2001-04-09 |
| * | Revision Tauto, AutoRewrite + Ajout de Ltac |  delahaye | 2001-04-08 |
| * | Ajout \qualid et \module | herbelin | 2000-12-16 |
| * | config avec autoconf | filliatr | 2000-12-15 |
| * | Initial revision | filliatr | 2000-12-12 |
| * | Deplacement du répertoire doc dans dev |  notin | 2006-03-06 |
| * | un effort sur la doc (ocamlweb) | filliatr | 1999-09-19 |
| * | affichage des erreurs de typage dans minicoq | filliatr | 1999-09-10 |
| * | programmation literaire : un fichier de description par repertoire | filliatr | 1999-08-20 |
| * | documentation (prog literaire) | filliatr | 1999-08-19 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |