*)
exception NoUnfinishedProof
-exception ActionCancelled
+exception ActionCancelled of string
class type script =
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