aboutsummaryrefslogtreecommitdiff
path: root/contrib/extraction/TODO
AgeCommit message (Expand)Author
2009-02-27extraction: update of README+CHANGES, rm of BUGS+TODOletouzey
2003-11-12TODOletouzey
2003-02-03maj status de l'extraction des modulesletouzey
2003-01-23maj V7.4letouzey
2002-04-18*** empty log message ***letouzey
2002-04-15maj doc extraction dans repertoire contrib/extractionletouzey
2002-03-15un peu de mise a jour de la doc extractionletouzey
2001-05-22majletouzey
2001-04-24TODO in v.o., test/Makefile moins pire, README avec refletouzey
2001-04-23Uncurryfy_ast inutile depuis l'eta-expansion dans extraction.ml.letouzey
2001-04-19synchonization des tables d'extractionfilliatr
2001-04-13eliminiation des singletons du genre sig + diversletouzey
2001-04-10bug lift dans IsRel de extract_type. Axiomes dans extract_typeletouzey
2001-04-04axiomes dans les typesfilliatr
2001-04-04rollback sur les commandes Extract Constant/Inductive; nettoyage et documenta...filliatr
2001-04-03commandes Extract Constant/Inductive; message d'erreur pour les axiomesfilliatr
2001-04-02inductifs videsfilliatr
2001-04-02à fairefilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 04:19:51 +0000