Commit message (Expand) | Author | Age | |
---|---|---|---|
* | *** empty log message *** | 2001-02-02 | |
* | MAJ | 2001-01-31 | |
* | MAJ | 2001-01-30 | |
* | MAJ | 2000-12-15 | |
* | numarg -> pure_numarg a poursuivre | 2000-12-11 | |
* | Portage d'AutoRewrite | 2000-12-02 | |
* | Elimination du ' | 2000-11-28 | |
* | uniformisation messages d'erreur | 2000-11-27 | |
* | MAJ | 2000-11-27 | |
* | MAJ | 2000-11-26 | |
* | MAJ | 2000-11-24 | |
* | - coqc: utilise le meilleur coq possible | 2000-11-24 | |
* | Search réparé | 2000-11-23 | |
* | deplacement poly_args; iterateurs sur les segments | 2000-11-22 | |
* | MAJ | 2000-11-21 | |
* | Ajouts pour les tactiques utilisateur | 2000-10-30 | |
* | MAJ | 2000-10-28 | |
* | MAJ | 2000-10-27 | |
* | MAJ | 2000-10-26 | |
* | MAJ | 2000-10-24 | |
* | MAJ | 2000-10-23 | |
* | MAJ | 2000-10-23 | |
* | MAJ | 2000-10-19 | |
* | MAJ | 2000-10-18 | |
* | TODO | 2000-10-13 |