- First commit of MaTeX:

[helm.git] / matita / components / binaries / matex / options.ml

diff --git a/matita/components/binaries/matex/options.ml b/matita/components/binaries/matex/options.ml
new file mode 100644 (file)
index 0000000..dc09444
--- /dev/null
+++ b/matita/components/binaries/matex/options.ml
@@ -0,0 +1,31 @@
+(*
+    ||M||  This file is part of HELM, an Hypertextual, Electronic        
+    ||A||  Library of Mathematics, developed at the Computer Science     
+    ||T||  Department, University of Bologna, Italy.                     
+    ||I||                                                                
+    ||T||  HELM is free software; you can redistribute it and/or         
+    ||A||  modify it under the terms of the GNU General Public License   
+    \   /  version 2 or (at your option) any later version.      
+     \ /   This software is distributed as is, NO WARRANTY.     
+      V_______________________________________________________________ *)
+
+module F = Filename
+
+module R  = Helm_registry
+
+(* internal *****************************************************************)
+
+let default_no_init = true
+
+let default_out_dir = F.current_dir_name
+
+(* interface ****************************************************************)
+
+let no_init = ref default_no_init
+
+let out_dir = ref default_out_dir
+
+let clear () =
+   R.clear ();
+   no_init := default_no_init;
+   out_dir := default_out_dir