update in binaries for λδ

[helm.git] / matita / matita / contribs / lambdadelta / bin / roles / rolesGlobal.ml

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesGlobal.ml b/matita/matita/contribs/lambdadelta/bin/roles/rolesGlobal.ml
index 8a2679b6deb21da8901a047127c1592215f1d4fd..6a4c37369d60efcda193ca9705cae32beaa2647a 100644 (file)
--- 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_base_url = "http://helm.cs.unibo.it/lambdadelta/"
+
 let default_wd = ""
 
 let default_debug_lexer = false
 
+let base_url = ref default_base_url
+
 let wd = ref default_wd
 
 let debug_lexer = ref default_debug_lexer
 
 let clear () =
+  base_url := default_base_url;
   wd := default_wd;
   debug_lexer := default_debug_lexer