aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* Incorrection exportation XMLGravatar herbelin2004-04-17
* Finalement pas de liste des contributions (cela n'avait été fait que pour l...Gravatar herbelin2004-04-17
* Nouvelles majsGravatar herbelin2004-04-16
* MAJGravatar herbelin2004-04-14
* MAJGravatar herbelin2004-03-28
* MAJGravatar herbelin2004-03-17
* preparation pour release (suite)Gravatar barras2004-03-15
* MAJGravatar herbelin2004-03-15
* MAJGravatar herbelin2004-03-10
* MAJGravatar herbelin2004-02-27
* MAJGravatar herbelin2004-02-21
* MAJGravatar herbelin2004-02-12
* New version of Functional Scheme and functional induction. Deals withGravatar coq2004-02-09
* MAJGravatar herbelin2004-02-06
* MAJGravatar herbelin2004-02-03
* MAJGravatar herbelin2004-01-29
* MAJGravatar herbelin2004-01-23
* MAJGravatar herbelin2004-01-21
* *** 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