]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/mmlinterface.ml
This commit was manufactured by cvs2svn to create tag 'v0_0_2'.
[helm.git] / helm / interface / mmlinterface.ml
index b95303d2f0805cac49c62d046f6bbec222ec8822..64c068fc3b55da06d7a70dd1ff28806d6f7bc9e9 100755 (executable)
@@ -791,8 +791,6 @@ end;;
 (* MAIN *)
 
 let _ =
- (* first of all initialize the processor by requiring the desired stylesheets *)
- XsltProcessor.initialize () ;
  build_uri_tree () ;
  let output = GMathView.math_view ~width:400 ~height:380 ()
  and label = GMisc.label ~text:"???" () in