| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | aide contextuelle / menus compilation + print + export |  filliatr | 2003-02-24 | |
| * | *** empty log message *** |  monate | 2003-02-24 | |
| * | maj | filliatr | 2003-02-22 | |
| * | CoqIDE: robustesse / multi-buffers / menus / ... (utilisable) | filliatr | 2003-02-21 | |
| * | maj | filliatr | 2003-02-15 | |
| * | MAJ pour Reals/SeqSeries.v |  desmettr | 2003-02-14 | |
| * | Debugger plus informatif |  delahaye | 2003-02-13 | |
| * | maj | filliatr | 2003-02-12 | |
| * | maj | filliatr | 2003-02-06 | |
| * | Ajout du traducteur | desmettr | 2003-02-05 | |
| * | maj | filliatr | 2003-02-05 | |
| * | interface GTK2 experimentale | monate | 2003-02-04 | |
| * | maj | filliatr | 2003-02-03 | |
| * | contrib/extraction/table utilise printer |  letouzey | 2003-02-02 | |
| * | maj | filliatr | 2003-01-24 | |
| * | Ajout de LinearIntuition; Ajout de New(Tauto|Intuition|LinearIntuition). |  corbinea | 2003-01-23 | |
| * | 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-22 | |
| * | Binome.v -> Binomial.v | desmettr | 2003-01-21 | |
| * | maj | filliatr | 2003-01-21 | |
| * | maj | filliatr | 2003-01-20 | |
| * | maj | filliatr | 2003-01-18 | |
| * | maj | filliatr | 2003-01-17 | |
| * | Renommage de RealsB en Rbase | desmettr | 2003-01-16 | |
| * | maj | filliatr | 2003-01-16 | |
| * | maj | filliatr | 2003-01-10 | |
| * | maj | filliatr | 2003-01-08 | |
| * | maj | filliatr | 2003-01-07 | |
| * | bit vectors | filliatr | 2003-01-06 | |
| * | maj | 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 | |
| * | Ajout du vernac Proof with |  gregoire | 2002-12-12 | |
| * | maj | filliatr | 2002-12-12 | |
| * | maj | filliatr | 2002-12-11 | |
| * | maj | filliatr | 2002-12-10 | |
| * | 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-09 | |
| * | maj | filliatr | 2002-12-06 | |
| * | maj | filliatr | 2002-12-04 | |
| * | maj | filliatr | 2002-12-03 | |
| * | maj | filliatr | 2002-11-30 | |
| * | maj | filliatr | 2002-11-29 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |