(* {2 environment gathered data} *)
val cic_dbm : string lazy_t (* XML map DBM file for CIC *)
+val cic_dbm_real : string lazy_t (* XML map DBM file for CIC ^ ".pag"*)
val nuprl_dbm : string lazy_t (* XML map DBM file for NuPRL *)
val rdf_dbm : string lazy_t (* RDF map DBM file *)
val xsl_dbm : string lazy_t (* XSL map DBM file *)
+val dump_file : string lazy_t (* CIC DBM tree dump file *)
+val prefetch : bool lazy_t (* prefetch URIs tree? *)
val xml_index : string lazy_t (* XMLs' index *)
val rdf_index : string lazy_t (* RDFs' index *)
val xsl_index : string lazy_t (* XSLTs' index *)
val nuprl_dir : string lazy_t (* XMLs' directory for NuPRL*)
val rdf_dir : string lazy_t (* RDFs' directory *)
val dtd_dir : string lazy_t (* DTDs' root directory *)
-val servers_file : string lazy_t (* servers.txt file *)
+val servers_file : string option lazy_t (* servers.txt file *)
val port : int lazy_t (* port on which getter listens *)
-val dtd_base_url : string lazy_t (* base URL for DTD downloading *)
+val dtd_base_urls : string list lazy_t (* base URLs for document patching *)
(* {2 derived data} *)