aboutsummaryrefslogtreecommitdiff
path: root/TODO
AgeCommit message (Expand)Author
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
2000-10-13TODOherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:37:54 +0000