aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* 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
* MAJGravatar herbelin2001-10-16
* MAJGravatar herbelin2001-10-12
* Nouvelle tactique primitive ThinBody et nouvelles tactiques utilisateurs 'Cle...Gravatar herbelin2001-10-05
* Ultime MAJGravatar herbelin2001-09-26
* *** empty log message ***Gravatar barras2001-09-25
* Qqes oublisGravatar herbelin2001-09-25
* Ajout d'un résumé des modificationsGravatar herbelin2001-09-25
* Mise en pageGravatar herbelin2001-09-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 00:15:01 +0000