aboutsummaryrefslogtreecommitdiff
path: root/TODO
AgeCommit message (Expand)Author
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2006-12-08git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9415 85f007b7-540e-04...filliatr
2006-11-07git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9348 85f007b7-540e-04...filliatr
2006-04-11ajout d'entrées dans TODO et CHANGES (à re-mettre à jour avant la release)courtieu
2003-01-31Pour satisfaire ProofGeneralcoq
2002-10-05Lazy experimentale temporaire...coq
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2002-04-05*** empty log message ***mohring
2001-10-16MAJherbelin
2001-09-30Doc de Ltac, Field et AutoRewrite -> FAITdelahaye
2001-09-25MAJherbelin
2001-09-20MAJherbelin
2001-09-13mise à jourfilliatr
2001-08-28remplace numarg -> pure_numargmohring
2001-08-10Parsingherbelin
2001-05-11m.a.j. PROBLEMES/TODOletouzey
2001-04-25MAJherbelin
2001-04-19remplace Zarith par ZArithmohring
2001-04-15MAJherbelin
2001-04-12Ajout de l'egalite de John Majormohring
2001-04-10MAJherbelin
2001-04-09mise à jourfilliatr
2001-04-09MAJherbelin
2001-03-20extraction naive de fix et casefilliatr
2001-03-14MAJherbelin
2001-03-12MAJherbelin
2001-02-02*** empty log message ***mohring
2001-01-31MAJherbelin
2001-01-30MAJherbelin
2000-12-15MAJherbelin
2000-12-11numarg -> pure_numarg a poursuivremohring
2000-12-02Portage d'AutoRewritedelahaye
2000-11-28Elimination du 'delahaye
2000-11-27uniformisation messages d'erreurfilliatr
2000-11-27MAJherbelin
2000-11-26MAJherbelin
2000-11-24MAJherbelin
2000-11-24- coqc: utilise le meilleur coq possiblefilliatr
2000-11-23Search réparéfilliatr
2000-11-22deplacement poly_args; iterateurs sur les segmentsfilliatr
2000-11-21MAJherbelin
2000-10-30Ajouts pour les tactiques utilisateurdelahaye
2000-10-28MAJherbelin
2000-10-27MAJherbelin
2000-10-26MAJherbelin
2000-10-24MAJherbelin
2000-10-23MAJherbelin
2000-10-23MAJherbelin
2000-10-19MAJherbelin
2000-10-18MAJherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 12:14:48 +0000