| MatitaEngine.Drop
| CicTextualParser2.Parse_error _ as exn -> raise exn
| exn ->
- MatitaLog.error (Printexc.to_string exn);
+ MatitaLog.error (MatitaExcPp.to_string exn);
raise exn
let fname () =
let pp_ocaml_mode () =
MatitaLog.message "";
- MatitaLog.message " ** Entering Ocaml mode ** ";
+ MatitaLog.message " ** Entering Ocaml mode ** ";
+ MatitaLog.message "";
+ MatitaLog.message "Type 'go ();;' to enter an interactive matitac";
MatitaLog.message ""
let rec go () =