rc-1

[helm.git] / matita / matitaScript.mli

diff --git a/matita/matitaScript.mli b/matita/matitaScript.mli
index bf0a873f29dc1f3e08e76a11e794872c2ab084ba..b0a02268378c133670eee9a42a8c069b09cf55fc 100644 (file)
--- 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