| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-02-13 | Debugger plus informatif | delahaye |
| 2003-02-12 | maj | filliatr |
| 2003-02-06 | maj | filliatr |
| 2003-02-05 | Ajout du traducteur | desmettr |
| 2003-02-05 | maj | filliatr |
| 2003-02-04 | interface GTK2 experimentale | monate |
| 2003-02-03 | maj | filliatr |
| 2003-02-02 | contrib/extraction/table utilise printer | letouzey |
| 2003-01-24 | maj | filliatr |
| 2003-01-23 | Ajout de LinearIntuition; Ajout de New(Tauto|Intuition|LinearIntuition). | corbinea |
| 2003-01-22 | removes all references to ctast.ml the Makefile has been updated accordingly. | bertot |
| 2003-01-22 | MAJ pour renommage Rcomplet | desmettr |
| 2003-01-22 | maj | filliatr |
| 2003-01-22 | Extraction des modules, enfin ! | letouzey |
| 2003-01-21 | Binome.v -> Binomial.v | desmettr |
| 2003-01-21 | maj | filliatr |
| 2003-01-20 | maj | filliatr |
| 2003-01-18 | maj | filliatr |
| 2003-01-17 | maj | filliatr |
| 2003-01-16 | Renommage de RealsB en Rbase | desmettr |
| 2003-01-16 | maj | filliatr |
| 2003-01-10 | maj | filliatr |
| 2003-01-08 | maj | filliatr |
| 2003-01-07 | maj | filliatr |
| 2003-01-06 | bit vectors | filliatr |
| 2002-12-23 | maj | filliatr |
| 2002-12-21 | maj | filliatr |
| 2002-12-20 | maj | filliatr |
| 2002-12-19 | maj | filliatr |
| 2002-12-18 | maj | filliatr |
| 2002-12-16 | maj | filliatr |
| 2002-12-14 | maj | filliatr |
| 2002-12-13 | maj | filliatr |
| 2002-12-12 | Ajout du vernac Proof with | gregoire |
| 2002-12-12 | maj | filliatr |
| 2002-12-11 | maj | filliatr |
| 2002-12-10 | maj | filliatr |
| 2002-12-09 | Corrections de gestion des univers et modules + meilleure gestions des noms... | coq |
| 2002-12-09 | chamboulement du codage des indcutifs extraits; deplacements des tables; ... | letouzey |
| 2002-12-06 | maj | filliatr |
| 2002-12-04 | maj | filliatr |
| 2002-12-03 | maj | filliatr |
| 2002-11-30 | maj | filliatr |
| 2002-11-29 | maj | filliatr |
| 2002-11-28 | maj | filliatr |
| 2002-11-27 | Réorganisation de la librairie des réels | desmettr |
| 2002-11-27 | maj | filliatr |
| 2002-11-26 | Option pour compiler une version 'light' des réels | desmettr |
| 2002-11-26 | MAJ | herbelin |
| 2002-11-26 | maj | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |