]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/configuration.mli
* if no configuration file is found, issue a warning but doesn't crash
[helm.git] / helm / ocaml / getter / configuration.mli
index 4d0bfbc01a6ef25a67cf597dbc099bf9fe3ef731..3dae0e000f388db2223a6c270cdaa91d7c028cc2 100644 (file)
 (*                                                                            *)
 (******************************************************************************)
 
-val helm_dir : string
-val dtd_dir : string
-val style_dir : string
-val servers_file : string
-val uris_dbm : string
-val dest : string
-val indexname : string
 val tmp_dir : string
-val helm_dir : string
 val getter_url : string
 val processor_url : string
 val annotations_dir : string