Commit message (Expand) | Author | Age | |
---|---|---|---|
* | MAJ | 2001-10-16 | |
* | Doc de Ltac, Field et AutoRewrite -> FAIT | 2001-09-30 | |
* | MAJ | 2001-09-25 | |
* | MAJ | 2001-09-20 | |
* | mise à jour | 2001-09-13 | |
* | remplace numarg -> pure_numarg | 2001-08-28 | |
* | Parsing | 2001-08-10 | |
* | m.a.j. PROBLEMES/TODO | 2001-05-11 | |
* | MAJ | 2001-04-25 | |
* | remplace Zarith par ZArith | 2001-04-19 | |
* | MAJ | 2001-04-15 | |
* | Ajout de l'egalite de John Major | 2001-04-12 | |
* | MAJ | 2001-04-10 | |
* | mise à jour | 2001-04-09 | |
* | MAJ | 2001-04-09 | |
* | extraction naive de fix et case | 2001-03-20 | |
* | MAJ | 2001-03-14 | |
* | MAJ | 2001-03-12 | |
* | *** 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 |