various updates, removed proofs for now because they are the real bottleneck!!

[helm.git] / helm / matita / matitaMisc.ml

diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml
index 07143db991bc4f84d9f1b62997ded1d1246e3f09..73fdd4c54e2ef6a2c5bcc605ea593410f64549fa 100644 (file)
--- a/helm/matita/matitaMisc.ml
+++ b/helm/matita/matitaMisc.ml
@@ -58,11 +58,11 @@ let strip_trailing_blanks =
   fun s -> Pcre.replace ~rex s
 
 let empty_mathml () =
-  Misc.domImpl#createDocument ~namespaceURI:(Some Misc.mathml_ns)
+  DomMisc.domImpl#createDocument ~namespaceURI:(Some DomMisc.mathml_ns)
     ~qualifiedName:(Gdome.domString "math") ~doctype:None
 
 let empty_boxml () =
-  Misc.domImpl#createDocument ~namespaceURI:(Some Misc.boxml_ns) 
+  DomMisc.domImpl#createDocument ~namespaceURI:(Some DomMisc.boxml_ns) 
     ~qualifiedName:(Gdome.domString "box") ~doctype:None
 
 exception History_failure
@@ -192,3 +192,5 @@ let qualify status name = get_string_option status "baseuri" ^ "/" ^ name
 
 let unopt = function None -> failwith "unopt: None" | Some v -> v
 
+let image_path n = sprintf "%s/%s" BuildTimeConf.images_dir n
+