Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Utilisation d'entiers en précision arbitraire pour le noyau d'omega (cf #898) | 2004-12-27 | ||
* | New command "Print Rewrite HindDb dbname". | 2004-11-17 | ||
* | Ajout 'Locate Module' | 2004-11-17 | ||
* | MAJ | 2004-11-09 | ||
* | Prise en compte des notations récursives dans l'option 'format' | 2004-11-08 | ||
* | 'match term' now evaluates by default. Added 'lazy' keyword to delay the eval... | 2004-10-11 | ||
* | Ajout de or-pattern pour le match-with v8 | 2004-09-09 | ||
* | Incorrection exportation XML | 2004-04-17 | ||
* | Finalement pas de liste des contributions (cela n'avait été fait que pour l... | 2004-04-17 | ||
* | Nouvelles majs | 2004-04-16 | ||
* | MAJ | 2004-04-14 | ||
* | MAJ | 2004-03-28 | ||
* | MAJ | 2004-03-17 | ||
* | preparation pour release (suite) | 2004-03-15 | ||
* | MAJ | 2004-03-15 | ||
* | MAJ | 2004-03-10 | ||
* | MAJ | 2004-02-27 | ||
* | MAJ | 2004-02-21 | ||
* | MAJ | 2004-02-12 | ||
* | New version of Functional Scheme and functional induction. Deals with | 2004-02-09 | ||
* | MAJ | 2004-02-06 | ||
* | MAJ | 2004-02-03 | ||
* | MAJ | 2004-01-29 | ||
* | MAJ | 2004-01-23 | ||
* | MAJ | 2004-01-21 | ||
* | *** empty log message *** | 2003-12-23 | ||
* | MAJ | 2003-12-22 | ||
* | *** empty log message *** | 2003-12-01 | ||
* | Nouvelle tactique EExists | 2003-12-01 | ||
* | Idtac parle | 2003-12-01 | ||
* | 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 |