aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* MAJGravatar herbelin2003-10-13
* MAJGravatar herbelin2003-10-10
* MAJGravatar herbelin2003-10-08
* MAJGravatar herbelin2003-09-26
* Ajout option Local à Hint, Hints et HintDestructGravatar herbelin2003-06-14
* Utilisation de intro_pattern dans NewDestruct/NewInductionGravatar herbelin2003-06-13
* MAJGravatar herbelin2003-06-10
* Ajout FreshIdGravatar herbelin2003-05-24
* MAJGravatar herbelin2003-05-21
* ajout d'une elimination simplifiée Acc_iter pour AccGravatar letouzey2003-04-28
* MAJGravatar herbelin2003-04-17
* MAJGravatar herbelin2003-04-09
* MAJGravatar herbelin2003-03-31
* eq fusionne avec eqT et devient par défaut sur Type,Gravatar herbelin2003-03-29
* Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)Gravatar herbelin2003-03-29
* Ajout de Set Print WidthGravatar gregoire2003-03-26
* MAJGravatar herbelin2003-02-27
* Chargement dynamique de .cmaGravatar delahaye2003-02-13
* Bug RenameGravatar herbelin2003-02-08
* MAJGravatar herbelin2003-02-06
* MAJGravatar herbelin2003-02-04
* release 7.4; changement magic numberGravatar filliatr2003-02-03
* maj status de l'extraction des modulesGravatar letouzey2003-02-03
* MAJGravatar herbelin2003-01-31
* MAJGravatar herbelin2003-01-31
* MAJGravatar herbelin2003-01-31
* *** empty log message ***Gravatar courant2003-01-31
* status de l'extractionGravatar letouzey2003-01-23
* Changements dans REALSGravatar desmettr2003-01-22
* MAJGravatar herbelin2003-01-20
* MAJ LtacGravatar herbelin2003-01-19
* V7.4Gravatar mohring2003-01-17
* Mise a jour pour distribGravatar mohring2003-01-17
* *** empty log message ***Gravatar mohring2003-01-17
* Bug en présence de let-inGravatar herbelin2003-01-15
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 00:58:45 +0000