aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* MAJGravatar herbelin2001-10-16
* MAJGravatar herbelin2001-10-12
* Nouvelle tactique primitive ThinBody et nouvelles tactiques utilisateurs 'Cle...Gravatar herbelin2001-10-05
* Ultime MAJGravatar herbelin2001-09-26
* *** empty log message ***Gravatar barras2001-09-25
* Qqes oublisGravatar herbelin2001-09-25
* Ajout d'un résumé des modificationsGravatar herbelin2001-09-25
* Mise en pageGravatar herbelin2001-09-25
* MAJGravatar herbelin2001-09-24
* Vers la fin de la restructurationGravatar herbelin2001-09-21
* Intégration partielle des modifs de la V7.0Gravatar herbelin2001-09-19
* update sur les tactiquesGravatar mayero2001-09-18
* Modif pour Ltac et ajout de FieldGravatar delahaye2001-09-18
* MAJGravatar herbelin2001-09-14
* Structuration et traductionGravatar herbelin2001-09-13
* explications modifications TautoGravatar courant2001-09-13
* MAJGravatar herbelin2001-09-11
* MAJGravatar herbelin2001-09-09
* MAJGravatar herbelin2001-09-07
* ParsingGravatar herbelin2001-08-10
* Ajout tactique TrueCut qui fait la coupure du calcul des séquents; nouvelle ...Gravatar herbelin2001-08-07
* MAJ de la MAJGravatar herbelin2001-07-09
* MAJGravatar herbelin2001-07-09
* Evar et Zeta ne sont plus implicites dans Delta (mais le restent dans Compute...Gravatar herbelin2001-07-02
* Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ...Gravatar herbelin2001-06-25
* Modification pour passage p-automatesGravatar mohring2001-05-15
* MAJGravatar herbelin2001-04-15
* MAJGravatar herbelin2001-03-23
* MAJGravatar herbelin2001-03-14
* MAJGravatar herbelin2001-02-16
* MAJGravatar herbelin2001-01-31
* Mise en place de la possibilite d'unfolder des variables locales et des const...Gravatar filliatr2001-01-31
* MAJGravatar herbelin2001-01-30
* MAJGravatar herbelin2001-01-30
* MAJGravatar herbelin2001-01-24
* Dernière MAJGravatar herbelin2000-12-26
* Traduction en francais de 'CHANGES' dont le contenu était en françaisGravatar herbelin2000-12-22
* MAJGravatar herbelin2000-12-20
* MAJGravatar herbelin2000-12-20
* MAJGravatar herbelin2000-12-18
* MAJGravatar herbelin2000-12-16
* Mise en pageGravatar herbelin2000-12-15
* MAJGravatar herbelin2000-12-15
* MAJGravatar herbelin2000-12-06
* Portage d'AutoRewriteGravatar delahaye2000-12-02
* MAJGravatar herbelin2000-11-27
* certains effets disparaissent a la sortie des sections, d'autres non (selon S...Gravatar filliatr2000-11-24
* MAJGravatar herbelin2000-11-24
* Ajout d'une syntaxe pour Reals.Gravatar mayero2000-11-23
* deplacement poly_args; iterateurs sur les segmentsGravatar filliatr2000-11-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 14:14:53 +0000