Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ultime MAJ | 2001-09-26 | |
* | *** empty log message *** | 2001-09-25 | |
* | Qqes oublis | 2001-09-25 | |
* | Ajout d'un résumé des modifications | 2001-09-25 | |
* | Mise en page | 2001-09-25 | |
* | MAJ | 2001-09-24 | |
* | Vers la fin de la restructuration | 2001-09-21 | |
* | Intégration partielle des modifs de la V7.0 | 2001-09-19 | |
* | update sur les tactiques | 2001-09-18 | |
* | Modif pour Ltac et ajout de Field | 2001-09-18 | |
* | MAJ | 2001-09-14 | |
* | Structuration et traduction | 2001-09-13 | |
* | explications modifications Tauto | 2001-09-13 | |
* | MAJ | 2001-09-11 | |
* | MAJ | 2001-09-09 | |
* | MAJ | 2001-09-07 | |
* | Parsing | 2001-08-10 | |
* | Ajout tactique TrueCut qui fait la coupure du calcul des séquents; nouvelle ... | 2001-08-07 | |
* | MAJ de la MAJ | 2001-07-09 | |
* | MAJ | 2001-07-09 | |
* | Evar et Zeta ne sont plus implicites dans Delta (mais le restent dans Compute... | 2001-07-02 | |
* | Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ... | 2001-06-25 | |
* | Modification pour passage p-automates | 2001-05-15 | |
* | MAJ | 2001-04-15 | |
* | MAJ | 2001-03-23 | |
* | MAJ | 2001-03-14 | |
* | MAJ | 2001-02-16 | |
* | MAJ | 2001-01-31 | |
* | Mise en place de la possibilite d'unfolder des variables locales et des const... | 2001-01-31 | |
* | MAJ | 2001-01-30 | |
* | MAJ | 2001-01-30 | |
* | MAJ | 2001-01-24 | |
* | Dernière MAJ | 2000-12-26 | |
* | Traduction en francais de 'CHANGES' dont le contenu était en français | 2000-12-22 | |
* | MAJ | 2000-12-20 | |
* | MAJ | 2000-12-20 | |
* | MAJ | 2000-12-18 | |
* | MAJ | 2000-12-16 | |
* | Mise en page | 2000-12-15 | |
* | MAJ | 2000-12-15 | |
* | MAJ | 2000-12-06 | |
* | Portage d'AutoRewrite | 2000-12-02 | |
* | MAJ | 2000-11-27 | |
* | certains effets disparaissent a la sortie des sections, d'autres non (selon S... | 2000-11-24 | |
* | MAJ | 2000-11-24 | |
* | Ajout d'une syntaxe pour Reals. | 2000-11-23 | |
* | deplacement poly_args; iterateurs sur les segments | 2000-11-22 | |
* | implicites manuels | 2000-11-21 | |
* | Begin-End Silent deviennent Set?Unset Silent | 2000-11-21 | |
* | concernant les binaires | 2000-11-15 |