tagging rc-1

[helm.git] / matita / matitaScript.mli

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