X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaScript.ml;fp=matita%2FmatitaScript.ml;h=1a7c86bb858fa7800df793a888520583f598891b;hb=bd258ecf3eae6aef4ff6b1d1dd8e1c8c2bb17677;hp=b0b020f0115bd8e7ffe3ff39dc798948a326fdf0;hpb=b066ec682141c7c41d77e80d70c71aeadd1f1ab3;p=helm.git

diff --git a/matita/matitaScript.ml b/matita/matitaScript.ml
index b0b020f01..1a7c86bb8 100644
--- a/matita/matitaScript.ml
+++ b/matita/matitaScript.ml
@@ -691,7 +691,6 @@ class script  ~(source_view: GSourceView.source_view)
               ~set_star
               ~ask_confirmation
               ~urichooser 
-              ~rootcreator 
               () =
 let buffer = source_view#buffer in
 let source_buffer = source_view#source_buffer in
@@ -733,7 +732,8 @@ object (self)
   method has_name = filename_ <> None
   
   method include_paths =
-    include_paths_
+    include_paths_ @ 
+    Helm_registry.get_list Helm_registry.string "matita.includes"
 
   method private curdir =
     try
@@ -1146,10 +1146,10 @@ end
 
 let _script = ref None
 
-let script ~source_view ~mathviewer ~urichooser ~rootcreator ~ask_confirmation ~set_star ()
+let script ~source_view ~mathviewer ~urichooser ~ask_confirmation ~set_star ()
 =
   let s = new script 
-    ~source_view ~mathviewer ~ask_confirmation ~urichooser ~rootcreator ~set_star () 
+    ~source_view ~mathviewer ~ask_confirmation ~urichooser ~set_star () 
   in
   _script := Some s;
   s