X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitacLib.mli;h=636c51d5754beddf21bf73ec9d7e298254cc2993;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=b778b91f3e80457fadac61afdbcca9b8095fd001;hpb=cb408b9ea336cd8efb990f7a1c88b566ccf0bd2e;p=helm.git

diff --git a/helm/matita/matitacLib.mli b/helm/matita/matitacLib.mli
index b778b91f3..636c51d57 100644
--- a/helm/matita/matitacLib.mli
+++ b/helm/matita/matitacLib.mli
@@ -23,5 +23,15 @@
  * http://helm.cs.unibo.it/
  *)
 
+val interactive_loop : unit -> unit
+
+(** go initializes the status and calls interactive_loop *)
 val go : unit -> unit
 val main : mode:[ `COMPILER | `TOPLEVEL ] -> unit
+
+(** clean_exit n
+  if n = Some n it performs an exit [n] after a complete clean-up of what was
+   partially compiled
+  otherwise it performs the clean-up without exiting
+*)
+val clean_exit : int option -> unit