X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FlibraryMisc.mli;h=2c6bfd193356a20ba119b025a752853cadcab363;hb=e9b09b14538f770b9e65083c24e3e9cf487df648;hp=e4d07faf74b5fb9257cee1b581d258b9597e3ca5;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/library/libraryMisc.mli b/helm/software/components/library/libraryMisc.mli
index e4d07faf7..2c6bfd193 100644
--- a/helm/software/components/library/libraryMisc.mli
+++ b/helm/software/components/library/libraryMisc.mli
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
-val obj_file_of_baseuri: basedir:string -> baseuri:string -> string
-val lexicon_file_of_baseuri: basedir:string -> baseuri:string -> string
-val metadata_file_of_baseuri: basedir:string -> baseuri:string -> string
+(* only for local uris *)
+val obj_file_of_baseuri: 
+  must_exist:bool -> writable:bool -> baseuri:string -> string
+val lexicon_file_of_baseuri: 
+  must_exist:bool -> writable:bool -> baseuri:string -> string