aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* *** empty log message ***Gravatar barras2003-12-23
* MAJGravatar herbelin2003-12-22
* *** empty log message ***Gravatar clrenard2003-12-01
* Nouvelle tactique EExistsGravatar clrenard2003-12-01
* Idtac parleGravatar narboux2003-12-01
* MAJGravatar herbelin2003-11-30
* MAJGravatar herbelin2003-11-23
* MAJGravatar herbelin2003-11-18
* MAJGravatar herbelin2003-11-12
* deux doigts d'extraction dans le CHANGES pour la V8Gravatar letouzey2003-11-12
* MAJGravatar herbelin2003-11-08
* MAJGravatar herbelin2003-10-28
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 06:08:35 +0000