Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin | 2002-05-29 | |
* | Oublis | herbelin | 2002-05-22 | |
* | Field + MapleMode | delahaye | 2002-05-21 | |
* | MAJ | herbelin | 2002-05-16 | |
* | MAJ | herbelin | 2002-05-15 | |
* | MAJ | herbelin | 2002-05-15 | |
* | 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 |