| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
| * | MAJ | herbelin | 2003-04-04 |
| * | MAJ Simpl et Change | herbelin | 2003-03-21 |
| * | Ajoute SubClass | herbelin | 2003-03-13 |
| * | Bug de pr�c�dence | herbelin | 2003-03-13 |
| * | Pr�sentation | herbelin | 2003-03-13 |
| * | MAJ | herbelin | 2003-03-06 |
| * | MAJ | herbelin | 2003-03-06 |
| * | Ajout de la reference sur la doc Reals.ps |  desmettr | 2003-02-27 |
| * | Backtrack faq | herbelin | 2003-02-13 |
| * | MAJ Remark/Fact | herbelin | 2003-02-13 |
| * | Bug | herbelin | 2003-02-06 |
| * | MAJ | herbelin | 2003-02-06 |
| * | Correction bug { | desmettr | 2003-02-04 |
| * | Release 7.4 | desmettr | 2003-02-04 |
| * | version 7.4 | filliatr | 2003-02-03 |
| * | MAJ doc modules |  coq | 2003-01-31 |
| * | Ajout Streicher (axiom K) | herbelin | 2003-01-31 |
| * | MAJ | herbelin | 2003-01-31 |
| * | Ajout {A New Paradox in Type Theory} | herbelin | 2003-01-30 |
| * | MAJ pour Reals | desmettr | 2003-01-29 |
| * | maj du fichier treesort.ml inclus dans le chapitre extraction | letouzey | 2003-01-23 |
| * | maj extraction V7.4 | letouzey | 2003-01-23 |
| * | Changement s�mantique Match term | herbelin | 2003-01-22 |
| * | Utilisation de 'Recursive' pour les tactiques r�cursives | herbelin | 2003-01-20 |
| * | MAJ V7.4 | herbelin | 2003-01-19 |
| * | Nettoyage | herbelin | 2003-01-19 |
| * | typo | herbelin | 2003-01-19 |
| * | MAJ Ltac | herbelin | 2003-01-19 |
| * | doc SearchAbout | filliatr | 2003-01-06 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |