X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fpxp%2Fcsc_pxp_reader.mli;fp=helm%2Focaml%2Fpxp%2Fcsc_pxp_reader.mli;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=2d103b371c310db75c7b4b3461251242d9f2f1ff;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/ocaml/pxp/csc_pxp_reader.mli b/helm/ocaml/pxp/csc_pxp_reader.mli
deleted file mode 100644
index 2d103b371..000000000
--- a/helm/ocaml/pxp/csc_pxp_reader.mli
+++ /dev/null
@@ -1,46 +0,0 @@
-exception Not_competent
-exception Not_resolvable of exn
-class type resolver =
-  object
-    method change_encoding : string -> unit
-    method clone : resolver
-    method close_all : unit
-    method close_in : unit
-    method init_rep_encoding : Pxp_types.rep_encoding -> unit
-    method init_warner : Pxp_types.collect_warnings -> unit
-    method open_in : Pxp_types.ext_id -> Lexing.lexbuf
-    method rep_encoding : Pxp_types.rep_encoding
-  end
-class resolve_read_url_channel :
-  ?base_url:Neturl.url ->
-  ?close:(in_channel -> unit) ->
-  url_of_id:(Pxp_types.ext_id -> Neturl.url) ->
-  channel_of_url:(Pxp_types.ext_id ->
-                  Neturl.url -> in_channel * Pxp_types.encoding option) ->
-  unit -> resolver
-type spec = [ `Not_recognized | `Allowed | `Required]
-val make_file_url :
-  ?system_encoding:Netconversion.encoding ->
-  ?enc:Netconversion.encoding -> string -> Neturl.url
-type combination_mode = Public_before_system | System_before_public
-class combine :
-  ?prefer:resolver ->
-  ?mode:combination_mode ->
-  resolver list ->
-  object
-    val mutable active_resolver : resolver option
-    val mutable clones : combine list
-    val mutable internal_encoding : Pxp_types.rep_encoding
-    val mode : combination_mode
-    val prefered_resolver : resolver option
-    val resolvers : resolver list
-    val mutable warner : Pxp_types.drop_warnings
-    method change_encoding : string -> unit
-    method clone : combine
-    method close_all : unit
-    method close_in : unit
-    method init_rep_encoding : Pxp_types.rep_encoding -> unit
-    method init_warner : Pxp_types.collect_warnings -> unit
-    method open_in : Pxp_types.ext_id -> Lexing.lexbuf
-    method rep_encoding : Pxp_types.rep_encoding
-  end