debian release 0.4.1-1

[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 9ac5aad6fde50b9cd801f140af6f247cf53a1a07..711a5713d9f6fa3d195e810e5c2c18d16d758dde 100644 (file)
--- a/helm/http_getter/http_getter_common.mli
+++ b/helm/http_getter/http_getter_common.mli
@@ -31,10 +31,14 @@ open Http_getter_types;;
 val string_of_ls_flag: http_getter_ls_flag -> string
 val string_of_encoding: http_getter_encoding -> string
 
-val is_xml_uri: string -> bool
+val is_cic_uri: string -> bool
+val is_nuprl_uri: string -> bool
 val is_rdf_uri: string -> bool
 val is_xsl_uri: string -> bool
 
+  (** true on blanks-only and #-commented lines, false otherwise *)
+val is_blank_line: string -> bool
+
 val http_getter_uri_of_string: string -> http_getter_uri
 
 val patch_xml : string -> string