| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | *** empty log message *** |  mohring | 2002-01-14 |
| * | Integration des credits V7.2 | mohring | 2002-01-14 |
| * | MAJ |  herbelin | 2002-01-10 |
| * | MAJ | herbelin | 2002-01-09 |
| * | Avertissement de la non- gravit� du message d'erreur de parsing de \/ et /\ | herbelin | 2001-12-23 |
| * | MAJ 7.2 | herbelin | 2001-12-23 |
| * | MAJ 7.2 | herbelin | 2001-12-23 |
| * | Ajout Canonical Structure | herbelin | 2001-12-23 |
| * | Ajout ClearBody et Assert H:=t | herbelin | 2001-12-23 |
| * | MAJ V7.2 | herbelin | 2001-12-23 |
| * | problemes avec le rendu html des tabbing dans la doc de Ltac |  barras | 2001-12-18 |
| * | new command Back | barras | 2001-12-17 |
| * | cible coq.info |  filliatr | 2001-11-15 |
| * | MAJ | herbelin | 2001-10-26 |
| * | MAJ, nettoyage coercions | herbelin | 2001-10-26 |
| * | Typos | herbelin | 2001-10-18 |
| * | Oubli de cas pour le sous-typage | herbelin | 2001-10-17 |
| * | Oubli de cas pour le sous-typage | herbelin | 2001-10-17 |
| * | Corrections diverses | herbelin | 2001-10-17 |
| * | MAJ hevea 1.5 | herbelin | 2001-10-17 |
| * | MAJ V7.1 | herbelin | 2001-10-17 |
| * | MAJ V7.1 | herbelin | 2001-10-16 |
| * | MAJ V7.1 | herbelin | 2001-10-16 |
| * | Ajout fonctionnalit� Intros Until de Injection, Discriminate et Simplify_eq | herbelin | 2001-10-15 |
| * | Adding documentation for a variant of Inversion, where a numeric argument, |  bertot | 2001-10-09 |
| * | Bug FTPDOCS | herbelin | 2001-10-02 |
| * | MAJ V7.1 | herbelin | 2001-10-02 |
| * | Orthographe | herbelin | 2001-10-02 |
| * | MAJ diverses | herbelin | 2001-10-02 |
| * | MAJ Intro + divers | herbelin | 2001-10-02 |
| * | MAJ V7.1 | herbelin | 2001-09-27 |
| * | Suppression Changes | herbelin | 2001-09-27 |
| * | MAJ V7.1 | herbelin | 2001-09-27 |
| * | check | herbelin | 2001-09-27 |
| * | \} manquant | herbelin | 2001-09-27 |
| * | Bug | herbelin | 2001-09-26 |
| * | Divers | herbelin | 2001-09-26 |
| * | MAJ V7.1 | herbelin | 2001-09-26 |
| * | MAJ V7.1 | herbelin | 2001-09-25 |
| * | MAJ Opaque/Transparent, Qed/Defined | herbelin | 2001-09-25 |
| * | Pr�c�dent Changes.tex | herbelin | 2001-09-25 |
| * | Orthographe | herbelin | 2001-09-25 |
| * | Mise en place avertissements pour rep�rer les erreurs volontaires de coq-tex | herbelin | 2001-09-24 |
| * | MAJs Remark/Fact | herbelin | 2001-09-24 |
| * | Updates | herbelin | 2001-09-24 |
| * | Updates | herbelin | 2001-09-24 |
| * | Update de la doc pour les setoides. |  clrenard | 2001-09-23 |
| * | Diverses MAJ V7.1 autour des qualid | herbelin | 2001-09-21 |
| * | Changement de syntaxe Extract Constant / Extract Inlined Constant |  letouzey | 2001-09-19 |
| * | Ajout de la page de garde |  desmettr | 2001-09-18 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |