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

diff --git a/helm/software/matita/matitaScript.mli b/helm/software/matita/matitaScript.mli
index bf0a873f2..b0a022683 100644
--- a/helm/software/matita/matitaScript.mli
+++ b/helm/software/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