X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaConsole.mli;h=a8e272e227d0826cc4db167a344e9ee4abc0fbbb;hb=086099d1a60948454cf0874744ef2222c2edc1b6;hp=d591e25e2e43e1c3bad9d43beeacaedbe5924801;hpb=142d3076f2a4dc17d9045c2bba4d4b01eddfd008;p=helm.git

diff --git a/helm/matita/matitaConsole.mli b/helm/matita/matitaConsole.mli
index d591e25e2..a8e272e22 100644
--- a/helm/matita/matitaConsole.mli
+++ b/helm/matita/matitaConsole.mli
@@ -42,7 +42,7 @@ class console:
       * just after it; defaults to the empty string *)
     method show           : ?msg:string -> unit -> unit
     method hide           : unit -> unit
-(*     method toggle         : unit -> unit *)
+    method toggle         : unit -> unit
 
     method prompt         : string
     method set_prompt     : string -> unit
@@ -56,8 +56,9 @@ class console:
     method ignore_insert_text_signal: bool -> unit
 
       (** execute a unit -> unit function, if it raises exceptions shows them as
-      * errors in the console *)
-    method wrap_exn       : (unit -> unit) -> unit
+      * errors in the console.
+      * @return true if no exception has been raised, false otherwise *)
+    method wrap_exn       : (unit -> unit) -> bool
   end
 
   (** @param prompt user prompt (default "# ")