X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FlibraryMisc.mli;h=08ac4638d3ff2b4f94be8fa610098bb7895c6f8f;hb=ee3f8d6fa92b051394a2ff7c71c03ac33a05182b;hp=e4d07faf74b5fb9257cee1b581d258b9597e3ca5;hpb=d8f4d935054a6f9fff6de0c171dc4a181389219e;p=helm.git diff --git a/helm/software/components/library/libraryMisc.mli b/helm/software/components/library/libraryMisc.mli index e4d07faf7..08ac4638d 100644 --- a/helm/software/components/library/libraryMisc.mli +++ b/helm/software/components/library/libraryMisc.mli @@ -23,6 +23,6 @@ * 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 +val obj_file_of_baseuri: writable:bool -> baseuri:string -> string +val lexicon_file_of_baseuri: writable:bool -> baseuri:string -> string +val metadata_file_of_baseuri: writable:bool -> baseuri:string -> string