X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaScript.mli;h=b0a02268378c133670eee9a42a8c069b09cf55fc;hb=01b688447c18c1992b0c19ac5583ca9fee692514;hp=cfc4655414bc08acaca2528aa175fa93c85a8da6;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/matita/matitaScript.mli b/matita/matitaScript.mli
index cfc465541..b0a022683 100644
--- a/matita/matitaScript.mli
+++ b/matita/matitaScript.mli
@@ -24,7 +24,7 @@
  *)
 
 exception NoUnfinishedProof
-exception ActionCancelled
+exception ActionCancelled of string
 
 class type script =
 object
@@ -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