X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Foptions.ml;fp=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Foptions.ml;h=0000000000000000000000000000000000000000;hb=d2545ffd201b1aa49887313791386add78fa8603;hp=21ebec1d930eea80ef593485a26811f50b18deb5;hpb=57ae1762497a5f3ea75740e2908e04adb8642cc2;p=helm.git

diff --git a/helm/www/lambdadelta/bin/xhtbl/options.ml b/helm/www/lambdadelta/bin/xhtbl/options.ml
deleted file mode 100644
index 21ebec1d9..000000000
--- a/helm/www/lambdadelta/bin/xhtbl/options.ml
+++ /dev/null
@@ -1,39 +0,0 @@
-let output_dir_default = ""
-
-let baseuri_default = ""
-
-let debug_lexer_default = false
-
-let debug_pass_default = false
-
-let pass_default = false
-
-let output_dir = ref output_dir_default
-
-let baseuri = ref baseuri_default
-
-let debug_lexer = ref debug_lexer_default
-
-let d0 = ref debug_pass_default
-
-let d1 = ref debug_pass_default
-
-let d2 = ref debug_pass_default
-
-let e1 = ref debug_pass_default
-
-let e2 = ref debug_pass_default
-
-let p0 = ref pass_default
-
-let p1 = ref pass_default
-
-let p2 = ref pass_default
-
-let clear () =
-   output_dir := output_dir_default;
-   baseuri := baseuri_default;
-   debug_lexer := debug_lexer_default;
-   d0 := debug_pass_default; d1 := debug_pass_default; d2 := debug_pass_default; 
-   e1 := debug_pass_default; e2 := debug_pass_default;
-   p0 := pass_default; p1 := pass_default; p2 := pass_default