| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Une faute de frappe dans Credits |  coq | 2003-12-11 |
| * | presentation, biblio; |  marche | 2003-12-10 |
| * | index commands | marche | 2003-12-09 |
| * | maj |  filliatr | 2003-12-05 |
| * | utilitaires | filliatr | 2003-12-05 |
| * | coqide | marche | 2003-12-04 |
| * | *** empty log message *** |  mohring | 2003-12-03 |
| * | plus de pb avec referencemanual.sh | marche | 2003-12-02 |
| * | relecture JCF | filliatr | 2003-12-02 |
| * | *** empty log message *** | filliatr | 2003-12-02 |
| * | added Firstordre and Congruence |  corbinea | 2003-12-02 |
| * | version et style | marche | 2003-12-01 |
| * | idtac parle |  narboux | 2003-12-01 |
| * | coqide | marche | 2003-11-24 |
| * | Suppression %N |  herbelin | 2003-11-23 |
| * | Ajout nouvelles options | herbelin | 2003-11-23 |
| * | Renommage | herbelin | 2003-11-23 |
| * | MAJ pour v8 | herbelin | 2003-11-23 |
| * | Label redondant | herbelin | 2003-11-23 |
| * | Ajout/renommage | herbelin | 2003-11-23 |
| * | Relecture | herbelin | 2003-11-23 |
| * | Suppression commandes de syntaxe; ajout About | herbelin | 2003-11-23 |
| * | Reference | herbelin | 2003-11-23 |
| * | Ajout entrees | herbelin | 2003-11-21 |
| * | Phase de relecture | herbelin | 2003-11-21 |
| * | Relecture premiere partie | herbelin | 2003-11-21 |
| * | MAJ | herbelin | 2003-11-20 |
| * | MAJ V8 | herbelin | 2003-11-19 |
| * | Ajout paradoxe Chicli | herbelin | 2003-11-15 |
| * | En fait les Import des Require sont de nouveau utiles |  letouzey | 2003-11-12 |
| * | *** empty log message *** | letouzey | 2003-11-12 |
| * | maj et passage v8 du chapitre sur l'extraction | letouzey | 2003-11-12 |
| * | Petite tentative d'eclaircissement | herbelin | 2003-11-08 |
| * | Relecture, compl�tion Notation, plan pour les scopes | herbelin | 2003-11-08 |
| * | Ajout section sur TACTIC EXTEND | herbelin | 2003-11-08 |
| * | Added a tactic entry for Jprover + commented out inputenc in the main file | corbinea | 2003-10-30 |
| * | MAJ Double Inductive vis a vis de la V7.4 | herbelin | 2003-10-27 |
| * | Programme de relecture du manuel | mohring | 2003-10-10 |
| * | *** empty log message *** | filliatr | 2003-09-26 |
| * | passage V8 | filliatr | 2003-09-26 |
| * | passage V8 | filliatr | 2003-09-26 |
| * | passage V8 | filliatr | 2003-09-25 |
| * | passage V8 | filliatr | 2003-09-25 |
| * | passage V8 | filliatr | 2003-09-25 |
| * | Orthographe, orthodoxie | herbelin | 2003-08-04 |
| * | Bug 'Set Hyps Limit' | herbelin | 2003-08-04 |
| * | typo | filliatr | 2003-06-25 |
| * | Added the documentation on Functional Scheme (a command, I also put |  courtieu | 2003-06-21 |
| * | Ajout 'in (Type of ...)' | herbelin | 2003-05-20 |
| * | Divers | herbelin | 2003-04-07 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |