Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin | 2002-05-29 |
* | *** empty log message *** | mohring | 2002-04-05 |
* | MAJ | herbelin | 2001-10-16 |
* | Doc de Ltac, Field et AutoRewrite -> FAIT | delahaye | 2001-09-30 |
* | MAJ | herbelin | 2001-09-25 |
* | MAJ | herbelin | 2001-09-20 |
* | mise à jour | filliatr | 2001-09-13 |
* | remplace numarg -> pure_numarg | mohring | 2001-08-28 |
* | Parsing | herbelin | 2001-08-10 |
* | m.a.j. PROBLEMES/TODO | letouzey | 2001-05-11 |
* | MAJ | herbelin | 2001-04-25 |
* | remplace Zarith par ZArith | mohring | 2001-04-19 |
* | MAJ | herbelin | 2001-04-15 |
* | Ajout de l'egalite de John Major | mohring | 2001-04-12 |
* | MAJ | herbelin | 2001-04-10 |
* | mise à jour | filliatr | 2001-04-09 |
* | MAJ | herbelin | 2001-04-09 |
* | extraction naive de fix et case | filliatr | 2001-03-20 |
* | MAJ | herbelin | 2001-03-14 |
* | MAJ | herbelin | 2001-03-12 |
* | *** empty log message *** | mohring | 2001-02-02 |
* | MAJ | herbelin | 2001-01-31 |
* | MAJ | herbelin | 2001-01-30 |
* | MAJ | herbelin | 2000-12-15 |
* | numarg -> pure_numarg a poursuivre | mohring | 2000-12-11 |
* | Portage d'AutoRewrite | delahaye | 2000-12-02 |
* | Elimination du ' | delahaye | 2000-11-28 |
* | uniformisation messages d'erreur | filliatr | 2000-11-27 |
* | MAJ | herbelin | 2000-11-27 |
* | MAJ | herbelin | 2000-11-26 |
* | MAJ | herbelin | 2000-11-24 |
* | - coqc: utilise le meilleur coq possible | filliatr | 2000-11-24 |
* | Search réparé | filliatr | 2000-11-23 |
* | deplacement poly_args; iterateurs sur les segments | filliatr | 2000-11-22 |
* | MAJ | herbelin | 2000-11-21 |
* | Ajouts pour les tactiques utilisateur | delahaye | 2000-10-30 |
* | MAJ | herbelin | 2000-10-28 |
* | MAJ | herbelin | 2000-10-27 |
* | MAJ | herbelin | 2000-10-26 |
* | MAJ | herbelin | 2000-10-24 |
* | MAJ | herbelin | 2000-10-23 |
* | MAJ | herbelin | 2000-10-23 |
* | MAJ | herbelin | 2000-10-19 |
* | MAJ | herbelin | 2000-10-18 |
* | TODO | herbelin | 2000-10-13 |