aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
2003-01-20MAJherbelin
2003-01-19MAJ Ltacherbelin
2003-01-17V7.4mohring
2003-01-17Mise a jour pour distribmohring
2003-01-17*** empty log message ***mohring
2003-01-15Bug en présence de let-inherbelin
2002-12-20Prise en compte des coercions dans les 'with' bindingsherbelin
2002-12-15MAJherbelin
2002-12-12*** empty log message ***gregoire
2002-12-09Ajout Simpl et Change sur des sous-termesherbelin
2002-12-06Amélioration sensible de l'efficacité de Zmult et timesherbelin
2002-12-03MAJherbelin
2002-12-02Ajout des options "Set Contextual Implicits" et "Set Strict Implicitsherbelin
2002-11-24Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...herbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-10-28Des critères plus fins d'analyse des implicites automatiques; meilleur affic...herbelin
2002-10-23Clarification changements autour de Remark/Fact/Localherbelin
2002-10-22MAJherbelin
2002-10-21Ajout d'un suffixe "as [ names ]" pour nommer manuellement lesherbelin
2002-10-21NewDestruct/NewInduction acceptent l'option "using"herbelin
2002-10-13MAJherbelin
2002-10-03Intégration des modifs de la V7.3.1herbelin
2002-10-02Changements Omegacourant
2002-09-29Modifs diversesherbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 13:30:53 +0000