X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2FTODO;h=7fc3c6bb6e2b2252130d440795f730e78d59d5d4;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=ded75c3f5d18284b2954963a3aebfa2e1d1ce881;hpb=ebcf6271797d06c6111123702837599cde1766bb;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/TODO b/helm/DEVEL/ocaml-http/TODO
index ded75c3f5..7fc3c6bb6 100644
--- a/helm/DEVEL/ocaml-http/TODO
+++ b/helm/DEVEL/ocaml-http/TODO
@@ -1,7 +1 @@
-
-- keep in request objects or somewhere client information like IP address
-
-- parse also header and contents of http requests and add corresponding methods
-  to requests objects
-  - subTODO: support POST requests
-
+- support for HTTPS