From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 3 Feb 2003 20:48:48 +0000 (+0000)
Subject: - added GPL preamble
X-Git-Tag: V_0_0_4_1~68
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1735701909c01fc2cf91ebcc5e456ff5f0f31300;p=helm.git

- added GPL preamble
- added a lot of ocamldoc comments
---

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
+