helm/matita/matitatop.ml

   1 let _ =
   2   let _ = Topdirs.dir_quit in
   3   let _ =
   4    if Array.length Sys.argv > 1 then
   5      MatitacLib.main `TOPLEVEL
   6    else
   7      MatitacLib.go ()
   8   in
   9    Toploop.loop Format.std_formatter