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

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