| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-10-10 | Programme de relecture du manuel | mohring |
| 2003-09-26 | *** empty log message *** | 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 | passage V8 | filliatr |
| 2003-08-04 | Orthographe, orthodoxie | herbelin |
| 2003-08-04 | Bug 'Set Hyps Limit' | herbelin |
| 2003-06-25 | typo | filliatr |
| 2003-06-21 | Added the documentation on Functional Scheme (a command, I also put | courtieu |
| 2003-05-20 | Ajout 'in (Type of ...)' | herbelin |
| 2003-04-07 | Divers | herbelin |
| 2003-04-04 | MAJ | herbelin |
| 2003-03-21 | MAJ Simpl et Change | herbelin |
| 2003-03-13 | Ajoute SubClass | herbelin |
| 2003-03-13 | Bug de pr�c�dence | herbelin |
| 2003-03-13 | Pr�sentation | herbelin |
| 2003-03-06 | MAJ | herbelin |
| 2003-03-06 | MAJ | herbelin |
| 2003-02-27 | Ajout de la reference sur la doc Reals.ps | desmettr |
| 2003-02-13 | Backtrack faq | herbelin |
| 2003-02-13 | MAJ Remark/Fact | herbelin |
| 2003-02-06 | Bug | herbelin |
| 2003-02-06 | MAJ | herbelin |
| 2003-02-04 | Correction bug { | desmettr |
| 2003-02-04 | Release 7.4 | desmettr |
| 2003-02-03 | version 7.4 | filliatr |
| 2003-01-31 | MAJ doc modules | coq |
| 2003-01-31 | Ajout Streicher (axiom K) | herbelin |
| 2003-01-31 | MAJ | herbelin |
| 2003-01-30 | Ajout {A New Paradox in Type Theory} | herbelin |
| 2003-01-29 | MAJ pour Reals | desmettr |
| 2003-01-23 | maj du fichier treesort.ml inclus dans le chapitre extraction | letouzey |
| 2003-01-23 | maj extraction V7.4 | letouzey |
| 2003-01-22 | Changement s�mantique Match term | herbelin |
| 2003-01-20 | Utilisation de 'Recursive' pour les tactiques r�cursives | herbelin |
| 2003-01-19 | MAJ V7.4 | herbelin |
| 2003-01-19 | Nettoyage | herbelin |
| 2003-01-19 | typo | herbelin |
| 2003-01-19 | MAJ Ltac | herbelin |
| 2003-01-06 | doc SearchAbout | filliatr |
| 2002-12-18 | Definition -> Parameter dans module types | coq |
| 2002-12-14 | FAQ | herbelin |
| 2002-12-12 | Stupid mistake | coq |
| 2002-12-02 | `\"' redevenu �chappement pour `"' | herbelin |
| 2002-12-02 | typos | letouzey |
| 2002-11-28 | Documentation des notations | herbelin |
| 2002-10-05 | Doc module, premiere version | coq |
| 2002-10-05 | Le fichier CHANGES au format html - version 7.3.1 | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |