Commit message (Expand) | Author | Age | |
---|---|---|---|
* | MAJ | 2003-11-30 | |
* | MAJ | 2003-11-23 | |
* | MAJ | 2003-11-18 | |
* | MAJ | 2003-11-12 | |
* | deux doigts d'extraction dans le CHANGES pour la V8 | 2003-11-12 | |
* | MAJ | 2003-11-08 | |
* | MAJ | 2003-10-28 | |
* | MAJ | 2003-10-13 | |
* | MAJ | 2003-10-10 | |
* | MAJ | 2003-10-08 | |
* | MAJ | 2003-09-26 | |
* | Ajout option Local à Hint, Hints et HintDestruct | 2003-06-14 | |
* | Utilisation de intro_pattern dans NewDestruct/NewInduction | 2003-06-13 | |
* | MAJ | 2003-06-10 | |
* | Ajout FreshId | 2003-05-24 | |
* | MAJ | 2003-05-21 | |
* | ajout d'une elimination simplifiée Acc_iter pour Acc | 2003-04-28 | |
* | MAJ | 2003-04-17 | |
* | MAJ | 2003-04-09 | |
* | MAJ | 2003-03-31 | |
* | eq fusionne avec eqT et devient par défaut sur Type, | 2003-03-29 | |
* | Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar) | 2003-03-29 | |
* | Ajout de Set Print Width | 2003-03-26 | |
* | MAJ | 2003-02-27 | |
* | Chargement dynamique de .cma | 2003-02-13 | |
* | Bug Rename | 2003-02-08 | |
* | MAJ | 2003-02-06 | |
* | MAJ | 2003-02-04 | |
* | release 7.4; changement magic number | 2003-02-03 | |
* | maj status de l'extraction des modules | 2003-02-03 | |
* | MAJ | 2003-01-31 | |
* | MAJ | 2003-01-31 | |
* | MAJ | 2003-01-31 | |
* | *** empty log message *** | 2003-01-31 | |
* | status de l'extraction | 2003-01-23 | |
* | Changements dans REALS | 2003-01-22 | |
* | MAJ | 2003-01-20 | |
* | MAJ Ltac | 2003-01-19 | |
* | V7.4 | 2003-01-17 | |
* | Mise a jour pour distrib | 2003-01-17 | |
* | *** empty log message *** | 2003-01-17 | |
* | Bug en présence de let-in | 2003-01-15 | |
* | Prise en compte des coercions dans les 'with' bindings | 2002-12-20 | |
* | MAJ | 2002-12-15 | |
* | *** empty log message *** | 2002-12-12 | |
* | Ajout Simpl et Change sur des sous-termes | 2002-12-09 | |
* | Amélioration sensible de l'efficacité de Zmult et times | 2002-12-06 | |
* | MAJ | 2002-12-03 | |
* | Ajout des options "Set Contextual Implicits" et "Set Strict Implicits | 2002-12-02 | |
* | Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior... | 2002-11-24 |