let default_base_url = "http://helm.cs.unibo.it/lambdadelta/"
-let default_wd = ""
+let default_cwd = Filename.dirname Sys.argv.(0)
let default_debug_lexer = false
let base_url = ref default_base_url
-let wd = ref default_wd
+let cwd = ref default_cwd
let debug_lexer = ref default_debug_lexer
let clear () =
base_url := default_base_url;
- wd := default_wd;
+ cwd := default_cwd;
debug_lexer := default_debug_lexer