Commit message (Expand) | Author | Age | |
---|---|---|---|
* | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9415 85f007b7-540e-04... | 2006-12-08 | |
* | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9348 85f007b7-540e-04... | 2006-11-07 | |
* | ajout d'entrées dans TODO et CHANGES (à re-mettre à jour avant la release) | 2006-04-11 | |
* | Pour satisfaire ProofGeneral | 2003-01-31 | |
* | Lazy experimentale temporaire... | 2002-10-05 | |
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | 2002-05-29 | |
* | *** empty log message *** | 2002-04-05 | |
* | 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 |