aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* MAJGravatar herbelin2001-12-12
* MajGravatar herbelin2001-12-06
* MAJGravatar herbelin2001-11-22
* MAJGravatar herbelin2001-11-21
* documentation de mes actions recentes sur les theories (PL)Gravatar letouzey2001-11-21
* MAJGravatar herbelin2001-11-16
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 02:10:49 +0000