X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FrolesGlobal.ml;h=466c68f27f32a094a88b45e9967b4637e4aff515;hb=cfccf434a57e10848d74d06674af4ec9cef0f0ca;hp=8a2679b6deb21da8901a047127c1592215f1d4fd;hpb=a1ae862976f2489107dd107937f5e05d0aaa7144;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesGlobal.ml b/matita/matita/contribs/lambdadelta/bin/roles/rolesGlobal.ml
index 8a2679b6d..466c68f27 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesGlobal.ml
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesGlobal.ml
@@ -9,14 +9,19 @@
      \ /   This software is distributed as is, NO WARRANTY.
       V_______________________________________________________________ *)
 
-let default_wd = ""
+let default_base_url = "http://helm.cs.unibo.it/lambdadelta/"
+
+let default_cwd = Filename.dirname Sys.argv.(0)
 
 let default_debug_lexer = false
 
-let wd = ref default_wd
+let base_url = ref default_base_url
+
+let cwd = ref default_cwd
 
 let debug_lexer = ref default_debug_lexer
 
 let clear () =
-  wd := default_wd;
+  base_url := default_base_url;
+  cwd := default_cwd;
   debug_lexer := default_debug_lexer