X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_cache.mli;h=def1c75973057d3ef4849f7a5fb3285f1b1ade6a;hb=15fbff73f74c07183edcc9618312e129b0835dc6;hp=d4deb6795c92f5d06e4168dfe6647a386184379b;hpb=86e80bc65186bf4c2824dc94f5f4dd5966843f14;p=helm.git

diff --git a/helm/http_getter/http_getter_cache.mli b/helm/http_getter/http_getter_cache.mli
index d4deb6795..def1c7597 100644
--- a/helm/http_getter/http_getter_cache.mli
+++ b/helm/http_getter/http_getter_cache.mli
@@ -1,5 +1,5 @@
 (*
- *  Copyright (C) 2000, HELM Team.
+ *  Copyright (C) 2003, HELM Team.
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -27,17 +27,17 @@
 open Http_getter_types;;
 
 val respond_xml:
-  ?enc:http_getter_encoding -> ?patch_dtd:bool -> url:string -> uri:string ->
+  ?enc:http_getter_encoding -> ?patch:bool -> url:string -> uri:string ->
   out_channel ->
     unit
 
 val respond_xsl:
-  ?enc:http_getter_encoding -> ?patch_dtd:bool -> url:string ->
+  ?enc:http_getter_encoding -> ?patch:bool -> url:string ->
   out_channel ->
     unit
 
 val respond_dtd:
-  ?enc:http_getter_encoding -> ?patch_dtd:bool -> url:string ->
+  ?enc:http_getter_encoding -> ?patch:bool -> url:string ->
   out_channel ->
     unit