X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_constants.mli;h=881fe906af5336d203d5a0bd108d9fd8aa5cd7d1;hb=d2c60bae1c4badba0a0f29e3fd2faed6d3a1869e;hp=aeaa9a57ad9a4cb2f62fb075b416aa48c98e0c33;hpb=770bf4189e7bf6edb6d7addff7cd65c1b66c9602;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_constants.mli b/helm/DEVEL/ocaml-http/http_constants.mli
index aeaa9a57a..881fe906a 100644
--- a/helm/DEVEL/ocaml-http/http_constants.mli
+++ b/helm/DEVEL/ocaml-http/http_constants.mli
@@ -1,3 +1,32 @@
+
+(*
+  OCaml HTTP - do it yourself (fully OCaml) HTTP daemon
+
+  Copyright (C) <2002> Stefano Zacchiroli <zack@cs.unibo.it>
+
+  This program is free software; you can redistribute it and/or modify
+  it under the terms of the GNU General Public License as published by
+  the Free Software Foundation; either version 2 of the License, or
+  (at your option) any later version.
+
+  This program is distributed in the hope that it will be useful,
+  but WITHOUT ANY WARRANTY; without even the implied warranty of
+  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+  GNU General Public License for more details.
+
+  You should have received a copy of the GNU General Public License
+  along with this program; if not, write to the Free Software
+  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+*)
+
+(** Constants *)
+
+  (** default HTTP version *)
 val version: Http_types.version
+
+  (** string returned as value of "Server:" response header *)
 val server_string: string
+
+  (** "\r\n" string *)
 val crlf: string
+