aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
2001-12-19MAJherbelin
2001-12-18MAJherbelin
2001-12-13MAJherbelin
2001-12-12MAJherbelin
2001-12-06Majherbelin
2001-11-22MAJherbelin
2001-11-21MAJherbelin
2001-11-21documentation de mes actions recentes sur les theories (PL)letouzey
2001-11-16MAJherbelin
2001-10-16MAJherbelin
2001-10-12MAJherbelin
2001-10-05Nouvelle tactique primitive ThinBody et nouvelles tactiques utilisateurs 'Cle...herbelin
2001-09-26Ultime MAJherbelin
2001-09-25*** empty log message ***barras
2001-09-25Qqes oublisherbelin
2001-09-25Ajout d'un résumé des modificationsherbelin
2001-09-25Mise en pageherbelin
2001-09-24MAJherbelin
2001-09-21Vers la fin de la restructurationherbelin
2001-09-19Intégration partielle des modifs de la V7.0herbelin
2001-09-18update sur les tactiquesmayero
2001-09-18Modif pour Ltac et ajout de Fielddelahaye
2001-09-14MAJherbelin
2001-09-13Structuration et traductionherbelin
2001-09-13explications modifications Tautocourant
2001-09-11MAJherbelin
2001-09-09MAJherbelin
2001-09-07MAJherbelin
2001-08-10Parsingherbelin
2001-08-07Ajout tactique TrueCut qui fait la coupure du calcul des séquents; nouvelle ...herbelin
2001-07-09MAJ de la MAJherbelin
2001-07-09MAJherbelin
2001-07-02Evar et Zeta ne sont plus implicites dans Delta (mais le restent dans Compute...herbelin
2001-06-25Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ...herbelin
2001-05-15Modification pour passage p-automatesmohring
2001-04-15MAJherbelin
2001-03-23MAJherbelin
2001-03-14MAJherbelin
2001-02-16MAJherbelin
2001-01-31MAJherbelin
2001-01-31Mise en place de la possibilite d'unfolder des variables locales et des const...filliatr
2001-01-30MAJherbelin
2001-01-30MAJherbelin
2001-01-24MAJherbelin
2000-12-26Dernière MAJherbelin
2000-12-22Traduction en francais de 'CHANGES' dont le contenu était en françaisherbelin
2000-12-20MAJherbelin
2000-12-20MAJherbelin
2000-12-18MAJherbelin
2000-12-16MAJherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-14 01:19:24 +0000