X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2F.ocamlinit;h=64694a2139686af39a0933a2a52263ec2be5c728;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=577740dbdf2966d9d9a85367c1eb76f6b93d9527;hpb=697d0d8857366485238a67386d0ce8f18404ac42;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/.ocamlinit b/helm/DEVEL/ocaml-http/.ocamlinit
index 577740dbd..64694a213 100644
--- a/helm/DEVEL/ocaml-http/.ocamlinit
+++ b/helm/DEVEL/ocaml-http/.ocamlinit
@@ -1 +1,5 @@
-#use "tophttp";;
+#use "topfind";;
+#require "unix";;
+#require "pcre";;
+#require "netstring";;
+#load "http.cma";;