X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_cache.mli;h=11211288aa8faaf5375ee2499a032541f0465bda;hb=3f81a72dbdc7f2ffb17cc1ecd4e6a39270891c77;hp=9aa6e53a5ee024e94d3c2632f5bc59543ae5de5d;hpb=d838a20f709408384d53cb0377891b89d2a76f94;p=helm.git

diff --git a/helm/http_getter/http_getter_cache.mli b/helm/http_getter/http_getter_cache.mli
index 9aa6e53a5..11211288a 100644
--- a/helm/http_getter/http_getter_cache.mli
+++ b/helm/http_getter/http_getter_cache.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/
  *
@@ -29,18 +29,16 @@
 open Http_getter_types;;
 
 val respond_xml:
-  ?enc:http_getter_encoding -> ?patch:bool -> url:string -> uri:string ->
-  out_channel ->
+  ?enc:encoding -> ?patch:bool -> url:string -> uri:string -> out_channel ->
     unit
 
 val respond_xsl:
-  ?enc:http_getter_encoding -> ?patch:bool -> url:string ->
-  out_channel ->
+  ?enc:encoding -> ?patch:bool -> url:string -> out_channel ->
     unit
 
 val respond_dtd:
-  ?enc:http_getter_encoding -> ?patch:bool -> url:string ->
-  out_channel ->
+  ?enc:encoding -> ?patch:bool -> url:string -> out_channel ->
     unit
 
 val clean: unit -> unit
+