aboutsummaryrefslogtreecommitdiffhomepage
path: root/TODO
Commit message (Expand)AuthorAge
* git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9415 85f007b7-540e-04...Gravatar filliatr2006-12-08
* git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9348 85f007b7-540e-04...Gravatar filliatr2006-11-07
* ajout d'entrées dans TODO et CHANGES (à re-mettre à jour avant la release)Gravatar courtieu2006-04-11
* Pour satisfaire ProofGeneralGravatar coq2003-01-31
* Lazy experimentale temporaire...Gravatar coq2002-10-05
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* *** empty log message ***Gravatar mohring2002-04-05
* MAJGravatar herbelin2001-10-16
* Doc de Ltac, Field et AutoRewrite -> FAITGravatar delahaye2001-09-30
* MAJGravatar herbelin2001-09-25
* MAJGravatar herbelin2001-09-20
* mise à jourGravatar filliatr2001-09-13
* remplace numarg -> pure_numargGravatar mohring2001-08-28
* ParsingGravatar herbelin2001-08-10
* m.a.j. PROBLEMES/TODOGravatar letouzey2001-05-11
* MAJGravatar herbelin2001-04-25
* remplace Zarith par ZArithGravatar mohring2001-04-19
* MAJGravatar herbelin2001-04-15
* Ajout de l'egalite de John MajorGravatar mohring2001-04-12
* MAJGravatar herbelin2001-04-10
* mise à jourGravatar filliatr2001-04-09
* MAJGravatar herbelin2001-04-09
* extraction naive de fix et caseGravatar filliatr2001-03-20
* MAJGravatar herbelin2001-03-14
* MAJGravatar herbelin2001-03-12
* *** empty log message ***Gravatar mohring2001-02-02
* MAJGravatar herbelin2001-01-31
* MAJGravatar herbelin2001-01-30
* MAJGravatar herbelin2000-12-15
* numarg -> pure_numarg a poursuivreGravatar mohring2000-12-11
* Portage d'AutoRewriteGravatar delahaye2000-12-02
* Elimination du 'Gravatar delahaye2000-11-28
* uniformisation messages d'erreurGravatar filliatr2000-11-27
* MAJGravatar herbelin2000-11-27
* MAJGravatar herbelin2000-11-26
* MAJGravatar herbelin2000-11-24
* - coqc: utilise le meilleur coq possibleGravatar filliatr2000-11-24
* Search réparéGravatar filliatr2000-11-23
* deplacement poly_args; iterateurs sur les segmentsGravatar filliatr2000-11-22
* MAJGravatar herbelin2000-11-21
* Ajouts pour les tactiques utilisateurGravatar delahaye2000-10-30
* MAJGravatar herbelin2000-10-28
* MAJGravatar herbelin2000-10-27
* MAJGravatar herbelin2000-10-26
* MAJGravatar herbelin2000-10-24
* MAJGravatar herbelin2000-10-23
* MAJGravatar herbelin2000-10-23
* MAJGravatar herbelin2000-10-19
* MAJGravatar herbelin2000-10-18
* TODOGravatar herbelin2000-10-13