split into two major parts:

[helm.git] / helm / http_getter / http_getter_common.mli

diff --git a/helm/http_getter/http_getter_common.mli b/helm/http_getter/http_getter_common.mli
index 236644452d8f8fdd66d756c8dfd16978bc17613e..f4ecb3dc85b6a3aef851c8596273ab945cedb4cd 100644 (file)
--- a/helm/http_getter/http_getter_common.mli
+++ b/helm/http_getter/http_getter_common.mli
@@ -1,5 +1,5 @@
 (*
- * Copyright (C) 2003:
+ * Copyright (C) 2003-2004:
  *    Stefano Zacchiroli <zack@cs.unibo.it>
  *    for the HELM Team http://helm.cs.unibo.it/
  *
@@ -28,15 +28,15 @@
 
 open Http_getter_types;;
 
-val string_of_ls_flag: http_getter_ls_flag -> string
-val string_of_encoding: http_getter_encoding -> string
+val string_of_ls_flag: ls_flag -> string
+val string_of_encoding: encoding -> string
 
 val is_cic_uri: string -> bool
 val is_nuprl_uri: string -> bool
 val is_rdf_uri: string -> bool
 val is_xsl_uri: string -> bool
 
-val http_getter_uri_of_string: string -> http_getter_uri
+val uri_of_string: string -> uri
 
 val patch_xml : string -> string
 val patch_xsl : string -> string