matita/components/ocaml_http_stubs/README

   1 This is a stub library for Zacchiroli's ocaml-http library.
   2 All the stubs, if called, just abort the program.
   3 The interface files are a minimal, proper subset of the ones of ocaml-http
   4 that only list the values used by matita.
   5
   6 ocaml-http is copyrighted under the GNU Library General Public License as
   7 published by the Free Software Foundation, version 2.