aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
2003-11-23MAJherbelin
2003-11-18MAJherbelin
2003-11-12MAJherbelin
2003-11-12deux doigts d'extraction dans le CHANGES pour la V8letouzey
2003-11-08MAJherbelin
2003-10-28MAJherbelin
2003-10-13MAJherbelin
2003-10-10MAJherbelin
2003-10-08MAJherbelin
2003-09-26MAJherbelin
2003-06-14Ajout option Local à Hint, Hints et HintDestructherbelin
2003-06-13Utilisation de intro_pattern dans NewDestruct/NewInductionherbelin
2003-06-10MAJherbelin
2003-05-24Ajout FreshIdherbelin
2003-05-21MAJherbelin
2003-04-28ajout d'une elimination simplifiée Acc_iter pour Accletouzey
2003-04-17MAJherbelin
2003-04-09MAJherbelin
2003-03-31MAJherbelin
2003-03-29eq fusionne avec eqT et devient par défaut sur Type,herbelin
2003-03-29Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)herbelin
2003-03-26Ajout de Set Print Widthgregoire
2003-02-27MAJherbelin
2003-02-13Chargement dynamique de .cmadelahaye
2003-02-08Bug Renameherbelin
2003-02-06MAJherbelin
2003-02-04MAJherbelin
2003-02-03release 7.4; changement magic numberfilliatr
2003-02-03maj status de l'extraction des modulesletouzey
2003-01-31MAJherbelin
2003-01-31MAJherbelin
2003-01-31MAJherbelin
2003-01-31*** empty log message ***courant
2003-01-23status de l'extractionletouzey
2003-01-22Changements dans REALSdesmettr
2003-01-20MAJherbelin
2003-01-19MAJ Ltacherbelin
2003-01-17V7.4mohring
2003-01-17Mise a jour pour distribmohring
2003-01-17*** empty log message ***mohring
2003-01-15Bug en présence de let-inherbelin
2002-12-20Prise en compte des coercions dans les 'with' bindingsherbelin
2002-12-15MAJherbelin
2002-12-12*** empty log message ***gregoire
2002-12-09Ajout Simpl et Change sur des sous-termesherbelin
2002-12-06Amélioration sensible de l'efficacité de Zmult et timesherbelin
2002-12-03MAJherbelin
2002-12-02Ajout des options "Set Contextual Implicits" et "Set Strict Implicitsherbelin
2002-11-24Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...herbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 01:12:55 +0000