- fixed helm web page url and copyright notice

diff --git a/helm/hbugs/broker/hbugs_broker.ml b/helm/hbugs/broker/hbugs_broker.ml
index 3a9fb9383a474cfe330266a24354d42443afa272..66dce60f751ee084a06562d6b245ab6733d35f30 100644 (file)
--- a/helm/hbugs/broker/hbugs_broker.ml
+++ b/helm/hbugs/broker/hbugs_broker.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Hbugs_types;;

diff --git a/helm/hbugs/broker/hbugs_broker_registry.ml b/helm/hbugs/broker/hbugs_broker_registry.ml
index adf8bc379f022c765aa932f7934dcd5a475f7eab..5e3baeb30aa4180bc6e0192fa7a749f07c76b7cf 100644 (file)
--- a/helm/hbugs/broker/hbugs_broker_registry.ml
+++ b/helm/hbugs/broker/hbugs_broker_registry.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Hbugs_misc;;

diff --git a/helm/hbugs/broker/hbugs_broker_registry.mli b/helm/hbugs/broker/hbugs_broker_registry.mli
index 5b42cf3b924e632948e813fd78f456d53cbfa438..9a33f066bcb514ff89b92fb00a290d70405a354c 100644 (file)
--- a/helm/hbugs/broker/hbugs_broker_registry.mli
+++ b/helm/hbugs/broker/hbugs_broker_registry.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Hbugs_types;;

diff --git a/helm/hbugs/common/.depend b/helm/hbugs/common/.depend
index 93f7c75349dcbcad5b0642b0637adf78b1d37f1b..8a128046c86c8b1ea0920967d2eb2e41abb736ae 100644 (file)
--- a/helm/hbugs/common/.depend
+++ b/helm/hbugs/common/.depend
@@ -1,7 +1,7 @@
 hbugs_id_generator.cmo: hbugs_id_generator.cmi 
 hbugs_id_generator.cmx: hbugs_id_generator.cmi 
-hbugs_messages.cmo: hbugs_types.cmo hbugs_messages.cmi 
-hbugs_messages.cmx: hbugs_types.cmx hbugs_messages.cmi 
+hbugs_messages.cmo: hbugs_misc.cmi hbugs_types.cmo hbugs_messages.cmi 
+hbugs_messages.cmx: hbugs_misc.cmx hbugs_types.cmx hbugs_messages.cmi 
 hbugs_misc.cmo: hbugs_misc.cmi 
 hbugs_misc.cmx: hbugs_misc.cmi 
 hbugs_id_generator.cmi: hbugs_types.cmo 

diff --git a/helm/hbugs/common/hbugs_id_generator.ml b/helm/hbugs/common/hbugs_id_generator.ml
index 59f67347c9f989d5b951f89c71b39cca94eb13ac..93d349b74d11d220ebd2e2ce8a1aa672c5e76f3a 100644 (file)
--- a/helm/hbugs/common/hbugs_id_generator.ml
+++ b/helm/hbugs/common/hbugs_id_generator.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,9 +23,15 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 let new_broker_id () =  (* TODO write a real id generator! *)
   "FOO BROKER ID!"
+let new_client_id () =  (* TODO write a real id generator! *)
+  "FOO CLIENT ID!"
+let new_musing_id () =  (* TODO write a real id generator! *)
+  "FOO MUSING ID!"
+let new_tutor_id () =  (* TODO write a real id generator! *)
+  "FOO TUTOR ID!"
 

diff --git a/helm/hbugs/common/hbugs_id_generator.mli b/helm/hbugs/common/hbugs_id_generator.mli
index 7992fa365978014266ed2790eeb4dbeb53da7cbe..dad0c93912ee91eebdc5151d2aac70d82f0ac160 100644 (file)
--- a/helm/hbugs/common/hbugs_id_generator.mli
+++ b/helm/hbugs/common/hbugs_id_generator.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,10 +23,13 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Hbugs_types;;
 
 val new_broker_id: unit -> broker_id
+val new_client_id: unit -> client_id
+val new_musing_id: unit -> musing_id
+val new_tutor_id: unit -> tutor_id
 

diff --git a/helm/hbugs/common/hbugs_messages.ml b/helm/hbugs/common/hbugs_messages.ml
index 67e739c603ad5379fe557175fbcd98b936e156f9..d0a6fe1dbad25b1d5274f25f335e3b97eb6c561d 100644 (file)
--- a/helm/hbugs/common/hbugs_messages.ml
+++ b/helm/hbugs/common/hbugs_messages.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Hbugs_types;;
@@ -62,6 +64,8 @@ let msg_of_string' s =
   match root#node_type with
 
     (* general purpose *)
+  | T_element "help" -> Help
+  | T_element "usage" -> Usage root#data
   | T_element "exception" -> Exception (get_attr root "name", root#data)
 
     (* client -> broker *)
@@ -145,6 +149,8 @@ let pp_tutor_ids =
   List.fold_left (fun s id -> sprintf "%s<tutor id=\"%s\" />" s id) ""
 
 let string_of_msg = function
+  | Help -> "<help />"
+  | Usage usage_string -> sprintf "<usage>%s</usage>" usage_string
   | Exception (name, value) ->
       sprintf "<exception name=\"%s\">%s</exception>" name value
   | Register_client (id, url) ->
@@ -205,3 +211,6 @@ let string_of_msg = function
   | Thanks (id, musing_id) ->
       sprintf "<thanks id=\"%s\" musing_id=\"%s\" />" id musing_id
 
+let submit_req ~url msg =
+  msg_of_string (Hbugs_misc.http_post ~body:(string_of_msg msg) url)
+

diff --git a/helm/hbugs/common/hbugs_messages.mli b/helm/hbugs/common/hbugs_messages.mli
index a11ff654b8605018dcff60b7b8d5109c32656550..1ab0e94004ad3adc6757bb5c97fcfb62d3ef397d 100644 (file)
--- a/helm/hbugs/common/hbugs_messages.mli
+++ b/helm/hbugs/common/hbugs_messages.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Hbugs_types;;
@@ -29,3 +31,5 @@ open Hbugs_types;;
 val msg_of_string: string -> message
 val string_of_msg: message -> string
 
+val submit_req: url:string -> message -> message
+

diff --git a/helm/hbugs/common/hbugs_misc.ml b/helm/hbugs/common/hbugs_misc.ml
index 30f46081553d85cd29112b8c2fa5986e4099d055..85f926fc7dbe8dfc29fe9345ab0d0de2b4deebc4 100644 (file)
--- a/helm/hbugs/common/hbugs_misc.ml
+++ b/helm/hbugs/common/hbugs_misc.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Printf;;

diff --git a/helm/hbugs/common/hbugs_misc.mli b/helm/hbugs/common/hbugs_misc.mli
index 991c9fa261e532950dec3b45fd36c09f02dde6e0..015c7b82b78165c602d6625dd174de1e02ff8377 100644 (file)
--- a/helm/hbugs/common/hbugs_misc.mli
+++ b/helm/hbugs/common/hbugs_misc.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
  (* HTTP GET request for a given url, return http response's body *)

diff --git a/helm/hbugs/common/hbugs_types.ml b/helm/hbugs/common/hbugs_types.ml
index 0e580886b567bdff500c3adeff6eb27cfead2dd3..f2b2f20189f372fe5be3f4bd5c3c87ad72c476ff 100644 (file)
--- a/helm/hbugs/common/hbugs_types.ml
+++ b/helm/hbugs/common/hbugs_types.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 type broker_id = string
@@ -44,6 +46,8 @@ type musing_result =
 type message =
 
   (* general purpose *)
+  | Help  (* help request *)
+  | Usage of string (* help response *)       (* usage string *)
   | Exception of string * string              (* name, value *)
 
   (* client -> broker *)

diff --git a/helm/hbugs/common/threadSafe.ml b/helm/hbugs/common/threadSafe.ml
index 9fa10d8d0d82635a1f203a5638006ce2599924c3..c09301d2f1bceb362680ec2de4e7b68b49cf2842 100644 (file)
--- a/helm/hbugs/common/threadSafe.ml
+++ b/helm/hbugs/common/threadSafe.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 let debug_print = let debug = false in fun s -> if debug then prerr_endline s;;

diff --git a/helm/http_getter/http_getter.ml b/helm/http_getter/http_getter.ml
index deefa047e51a7bc43069526dab8fddcc57acf01a..09a49a308ad50d7dcf80342ad9d29ff63f9987fe 100644 (file)
--- a/helm/http_getter/http_getter.ml
+++ b/helm/http_getter/http_getter.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Http_getter_common;;

diff --git a/helm/http_getter/http_getter_cache.ml b/helm/http_getter/http_getter_cache.ml
index 8d180e1f86a18c52eeda7adac40a614583487947..42bace5a4f7b9ac53b67a7f2e3fd8fcf458f62d3 100644 (file)
--- a/helm/http_getter/http_getter_cache.ml
+++ b/helm/http_getter/http_getter_cache.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Http_getter_common;;

diff --git a/helm/http_getter/http_getter_cache.mli b/helm/http_getter/http_getter_cache.mli
index def1c75973057d3ef4849f7a5fb3285f1b1ade6a..a1acfca8cd6a49a89ed42fae93a0780ec61104b2 100644 (file)
--- a/helm/http_getter/http_getter_cache.mli
+++ b/helm/http_getter/http_getter_cache.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Http_getter_types;;

diff --git a/helm/http_getter/http_getter_common.ml b/helm/http_getter/http_getter_common.ml
index 12a2e2ea914f7fd4550eebb2ad4709a860eb2e75..0e66b2035d2fcd0120307cdb5d88c2a71b3b741c 100644 (file)
--- a/helm/http_getter/http_getter_common.ml
+++ b/helm/http_getter/http_getter_common.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Http_getter_types;;

diff --git a/helm/http_getter/http_getter_common.mli b/helm/http_getter/http_getter_common.mli
index 51b40e1aa69356a4cb360af394e66655daa2a640..0c21ba6ff383187e68ef56d4086b5df80bd46ab1 100644 (file)
--- a/helm/http_getter/http_getter_common.mli
+++ b/helm/http_getter/http_getter_common.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Http_getter_types;;

diff --git a/helm/http_getter/http_getter_const.ml b/helm/http_getter/http_getter_const.ml
index cfa21fe913420cfa1c72421f2be9723f174d35f1..efbae1f51d78983b04e031fd028cea09b40da1cd 100644 (file)
--- a/helm/http_getter/http_getter_const.ml
+++ b/helm/http_getter/http_getter_const.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
   (* TODO provide a better usage string *)

diff --git a/helm/http_getter/http_getter_const.mli b/helm/http_getter/http_getter_const.mli
index 136849431d276f25d6240dacb51b769270416242..0aaf323f2fc2adea64aaf3d75025160af64b42be 100644 (file)
--- a/helm/http_getter/http_getter_const.mli
+++ b/helm/http_getter/http_getter_const.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 val usage_string: string

diff --git a/helm/http_getter/http_getter_debugger.ml b/helm/http_getter/http_getter_debugger.ml
index 57b8442ae96eb2834ea8eb44f2c204a52e8c19e2..b6d1e504215ae420eb4bb5780765a3a8cb0af76c 100644 (file)
--- a/helm/http_getter/http_getter_debugger.ml
+++ b/helm/http_getter/http_getter_debugger.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
  (* debugging settings *)

diff --git a/helm/http_getter/http_getter_debugger.mli b/helm/http_getter/http_getter_debugger.mli
index 72a5f172fe3b0c331238af4404c2077235a9ffd7..cd9da6732a059fa67cff0e02c72f4f4439c40d0b 100644 (file)
--- a/helm/http_getter/http_getter_debugger.mli
+++ b/helm/http_getter/http_getter_debugger.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 val debug: bool

diff --git a/helm/http_getter/http_getter_env.ml b/helm/http_getter/http_getter_env.ml
index e97c89cbfb1b36be4fe3b678da31cc88234f77ef..20f67ae274897171718ba7f4b0c7d587d8a73446 100644 (file)
--- a/helm/http_getter/http_getter_env.ml
+++ b/helm/http_getter/http_getter_env.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Http_getter_types;;

diff --git a/helm/http_getter/http_getter_env.mli b/helm/http_getter/http_getter_env.mli
index c2ce1a7691cd60fcc44b486a8f5ff2c0f45cc8a9..ce24cfeb7ed106f21b0d2a3f490b3c1bcbb738db 100644 (file)
--- a/helm/http_getter/http_getter_env.mli
+++ b/helm/http_getter/http_getter_env.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Http_getter_types;;

diff --git a/helm/http_getter/http_getter_map.ml b/helm/http_getter/http_getter_map.ml
index c4ff0102f48e13f35131913f4966ead9ac2d80a7..06699f1781a237153c489d950fc89e8ee6a8464c 100644 (file)
--- a/helm/http_getter/http_getter_map.ml
+++ b/helm/http_getter/http_getter_map.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 exception Key_already_in of string;;

diff --git a/helm/http_getter/http_getter_map.mli b/helm/http_getter/http_getter_map.mli
index c5c8f64895567e2cf11aa9820fe6c61faf6c9d7b..ae9cf319f0b8a39e2e95fe0d076eaaca263c0192 100644 (file)
--- a/helm/http_getter/http_getter_map.mli
+++ b/helm/http_getter/http_getter_map.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 exception Key_already_in of string

diff --git a/helm/http_getter/http_getter_misc.ml b/helm/http_getter/http_getter_misc.ml
index 1ec7101c876b274c06a935248df65a96300e86e0..d1c221f35b1e52e75b27aa13b0f9b2ddda3b6fb8 100644 (file)
--- a/helm/http_getter/http_getter_misc.ml
+++ b/helm/http_getter/http_getter_misc.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Http_getter_debugger;;

diff --git a/helm/http_getter/http_getter_misc.mli b/helm/http_getter/http_getter_misc.mli
index 94c5dc5a97e2f3b0255a70aa17a0870724f250ea..469ce81595672be49440f4785483673946d71b3c 100644 (file)
--- a/helm/http_getter/http_getter_misc.mli
+++ b/helm/http_getter/http_getter_misc.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
  (** "fold_left" like function on file lines, trailing newline is not passed to

diff --git a/helm/http_getter/http_getter_types.ml b/helm/http_getter/http_getter_types.ml
index 36ea0e8c3a8a1a5911dfc342a4efbc411de7b820..b54a2ef06b1ba5294bc3ba0ff728c2c4f1dba2aa 100644 (file)
--- a/helm/http_getter/http_getter_types.ml
+++ b/helm/http_getter/http_getter_types.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 exception Http_getter_bad_request of string

diff --git a/helm/http_getter/threadSafe.ml b/helm/http_getter/threadSafe.ml
index 544f934f0664cf0d163fab9b9fea412b0dd400dc..9902795ff39f4c483bc04be015bd70df0df638b7 100644 (file)
--- a/helm/http_getter/threadSafe.ml
+++ b/helm/http_getter/threadSafe.ml
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Http_getter_debugger;;

diff --git a/helm/http_getter/threadSafe.mli b/helm/http_getter/threadSafe.mli
index afd82a0eb5953315160c90997f3a323ccbdabc13..92a08630e60c86eb2f48bc2ff4918bef9e33a728 100644 (file)
--- a/helm/http_getter/threadSafe.mli
+++ b/helm/http_getter/threadSafe.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 class threadSafe: