| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | mention -dump-glob |  filliatr | 2002-05-15 |
| * | MAJ |  herbelin | 2002-05-14 |
| * | Ajout de la modification des sortes d'elimination |  mohring | 2002-05-14 |
| * | Pas de projection si le nom d'un champ est '_' dans un Record | herbelin | 2002-05-13 |
| * | MAJ | herbelin | 2002-05-06 |
| * | Intuition |  courant | 2002-04-12 |
| * | *** empty log message *** | courant | 2002-04-12 |
| * | MAJ | herbelin | 2002-04-10 |
| * | changements récents dans l'extraction |  letouzey | 2002-03-15 |
| * | modifs ZArith & Chinese | letouzey | 2002-01-18 |
| * | MAJ | herbelin | 2002-01-15 |
| * | Extension de Even | herbelin | 2001-12-21 |
| * | maj CHANGES extraction + bug extraction & _ | letouzey | 2001-12-21 |
| * | MAJ | herbelin | 2001-12-20 |
| * | MAJ | herbelin | 2001-12-19 |
| * | Changements Reals |  desmettr | 2001-12-19 |
| * | MAJ | herbelin | 2001-12-19 |
| * | MAJ | herbelin | 2001-12-18 |
| * | MAJ | herbelin | 2001-12-13 |
| * | MAJ | herbelin | 2001-12-12 |
| * | Maj | herbelin | 2001-12-06 |
| * | MAJ | herbelin | 2001-11-22 |
| * | MAJ | herbelin | 2001-11-21 |
| * | documentation de mes actions recentes sur les theories (PL) | letouzey | 2001-11-21 |
| * | MAJ | herbelin | 2001-11-16 |
| * | MAJ | herbelin | 2001-10-16 |
| * | MAJ | herbelin | 2001-10-12 |
| * | Nouvelle tactique primitive ThinBody et nouvelles tactiques utilisateurs 'Cle... | herbelin | 2001-10-05 |
| * | Ultime MAJ | herbelin | 2001-09-26 |
| * | *** empty log message *** |  barras | 2001-09-25 |
| * | Qqes oublis | herbelin | 2001-09-25 |
| * | Ajout d'un résumé des modifications | herbelin | 2001-09-25 |
| * | Mise en page | herbelin | 2001-09-25 |
| * | MAJ | herbelin | 2001-09-24 |
| * | Vers la fin de la restructuration | herbelin | 2001-09-21 |
| * | Intégration partielle des modifs de la V7.0 | herbelin | 2001-09-19 |
| * | update sur les tactiques |  mayero | 2001-09-18 |
| * | Modif pour Ltac et ajout de Field |  delahaye | 2001-09-18 |
| * | MAJ | herbelin | 2001-09-14 |
| * | Structuration et traduction | herbelin | 2001-09-13 |
| * | explications modifications Tauto | courant | 2001-09-13 |
| * | MAJ | herbelin | 2001-09-11 |
| * | MAJ | herbelin | 2001-09-09 |
| * | MAJ | herbelin | 2001-09-07 |
| * | Parsing | herbelin | 2001-08-10 |
| * | Ajout tactique TrueCut qui fait la coupure du calcul des séquents; nouvelle ... | herbelin | 2001-08-07 |
| * | MAJ de la MAJ | herbelin | 2001-07-09 |
| * | MAJ | herbelin | 2001-07-09 |
| * | Evar et Zeta ne sont plus implicites dans Delta (mais le restent dans Compute... | herbelin | 2001-07-02 |
| * | Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ... | herbelin | 2001-06-25 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |