X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaScript.mli;h=b0a02268378c133670eee9a42a8c069b09cf55fc;hb=a5ba8bfcd6ae3b5033e58792092924455cc51837;hp=bf0a873f29dc1f3e08e76a11e794872c2ab084ba;hpb=5cb95a2e44f979183a8c3e39baa3b4e7cfaf8182;p=helm.git

diff --git a/matita/matitaScript.mli b/matita/matitaScript.mli
index bf0a873f2..b0a022683 100644
--- a/matita/matitaScript.mli
+++ b/matita/matitaScript.mli
@@ -54,6 +54,7 @@ object
 
   method assignFileName : string -> unit (* to the current active file *)
   method loadFromFile : string -> unit
+  method loadFromString : string -> unit
   method saveToFile : unit -> unit
   method filename : string