aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
2002-06-03Intgration uniforme de coercions dans les dclarations (Variable and co) et re...herbelin
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2002-05-22Oublisherbelin
2002-05-21Field + MapleModedelahaye
2002-05-16MAJherbelin
2002-05-15MAJherbelin
2002-05-15MAJherbelin
2002-05-15mention -dump-globfilliatr
2002-05-14MAJherbelin
2002-05-14Ajout de la modification des sortes d'eliminationmohring
2002-05-13Pas de projection si le nom d'un champ est '_' dans un Recordherbelin
2002-05-06MAJherbelin
2002-04-12Intuitioncourant
2002-04-12*** empty log message ***courant
2002-04-10MAJherbelin
2002-03-15changements récents dans l'extractionletouzey
2002-01-18modifs ZArith & Chineseletouzey
2002-01-15MAJherbelin
2001-12-21Extension de Evenherbelin
2001-12-21maj CHANGES extraction + bug extraction & _letouzey
2001-12-20MAJherbelin
2001-12-19MAJherbelin
2001-12-19Changements Realsdesmettr
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 06:32:47 +0000