diff options
| author | letouzey | 2002-04-15 09:34:49 +0000 |
|---|---|---|
| committer | letouzey | 2002-04-15 09:34:49 +0000 |
| commit | cdc4ce82896489b55130d466f0c277291f5df8b1 (patch) | |
| tree | 0e505b807d2d5ecde3e4c06e7938d757161a5adb /contrib/extraction/TODO | |
| parent | be155d66104ca4499ac89808af81435720bd4953 (diff) | |
maj doc extraction dans repertoire contrib/extraction
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2643 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/extraction/TODO')
| -rw-r--r-- | contrib/extraction/TODO | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/contrib/extraction/TODO b/contrib/extraction/TODO index b418ecf61d..1957c44634 100644 --- a/contrib/extraction/TODO +++ b/contrib/extraction/TODO @@ -1,8 +1,4 @@ - 7. Eta expansion for resolving message: "variables cannot be generalized" - - 9. Doc!! (examples) - 12. Ocaml typing => magic + cast. - 13. Managing huge extraction (constructive FTA).
\ No newline at end of file + 13. Managing huge extraction (constructive FTA). |