aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* Prise en compte des coercions dans les 'with' bindingsGravatar herbelin2002-12-20
* MAJGravatar herbelin2002-12-15
* *** empty log message ***Gravatar gregoire2002-12-12
* Ajout Simpl et Change sur des sous-termesGravatar herbelin2002-12-09
* Amélioration sensible de l'efficacité de Zmult et timesGravatar herbelin2002-12-06
* MAJGravatar herbelin2002-12-03
* Ajout des options "Set Contextual Implicits" et "Set Strict ImplicitsGravatar herbelin2002-12-02
* Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...Gravatar herbelin2002-11-24
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Des critères plus fins d'analyse des implicites automatiques; meilleur affic...Gravatar herbelin2002-10-28
* Clarification changements autour de Remark/Fact/LocalGravatar herbelin2002-10-23
* MAJGravatar herbelin2002-10-22
* Ajout d'un suffixe "as [ names ]" pour nommer manuellement lesGravatar herbelin2002-10-21
* NewDestruct/NewInduction acceptent l'option "using"Gravatar herbelin2002-10-21
* MAJGravatar herbelin2002-10-13
* Intégration des modifs de la V7.3.1Gravatar herbelin2002-10-03
* Changements OmegaGravatar courant2002-10-02
* Modifs diversesGravatar herbelin2002-09-29
* Intgration uniforme de coercions dans les dclarations (Variable and co) et re...Gravatar herbelin2002-06-03
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* OublisGravatar herbelin2002-05-22
* Field + MapleModeGravatar delahaye2002-05-21
* MAJGravatar herbelin2002-05-16
* MAJGravatar herbelin2002-05-15
* MAJGravatar herbelin2002-05-15
* mention -dump-globGravatar filliatr2002-05-15
* MAJGravatar herbelin2002-05-14
* Ajout de la modification des sortes d'eliminationGravatar mohring2002-05-14
* Pas de projection si le nom d'un champ est '_' dans un RecordGravatar herbelin2002-05-13
* MAJGravatar herbelin2002-05-06
* IntuitionGravatar courant2002-04-12
* *** empty log message ***Gravatar courant2002-04-12
* MAJGravatar herbelin2002-04-10
* changements récents dans l'extractionGravatar letouzey2002-03-15
* modifs ZArith & ChineseGravatar letouzey2002-01-18
* MAJGravatar herbelin2002-01-15
* Extension de EvenGravatar herbelin2001-12-21
* maj CHANGES extraction + bug extraction & _Gravatar letouzey2001-12-21
* MAJGravatar herbelin2001-12-20
* MAJGravatar herbelin2001-12-19
* Changements RealsGravatar desmettr2001-12-19
* MAJGravatar herbelin2001-12-19
* MAJGravatar herbelin2001-12-18
* MAJGravatar herbelin2001-12-13
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 01:12:01 +0000