Dependency on ocaml_http replaced by ocaml_http_stubs stubs

[helm.git] / matita / components / ocaml_http_stubs / README

diff --git a/matita/components/ocaml_http_stubs/README b/matita/components/ocaml_http_stubs/README
new file mode 100644 (file)
index 0000000..7c9b604
--- /dev/null
+++ b/matita/components/ocaml_http_stubs/README
@@ -0,0 +1,7 @@
+This is a stub library for Zacchiroli's ocaml-http library.
+All the stubs, if called, just abort the program.
+The interface files are a minimal, proper subset of the ones of ocaml-http
+that only list the values used by matita.
+
+ocaml-http is copyrighted under the GNU Library General Public License as
+published by the Free Software Foundation, version 2.