| MatitaEngine.TryingToAdd msg ->
None, "Attempt to insert an alias in batch mode: " ^ Lazy.force msg
| MatitaEngine.AlreadyLoaded msg ->
None, "The file " ^ Lazy.force msg ^ " needs recompilation but it is
already loaded; undo the inclusion and try again."
| MatitaEngine.FailureCompiling (filename,exn) ->
| MatitaEngine.TryingToAdd msg ->
None, "Attempt to insert an alias in batch mode: " ^ Lazy.force msg
| MatitaEngine.AlreadyLoaded msg ->
None, "The file " ^ Lazy.force msg ^ " needs recompilation but it is
already loaded; undo the inclusion and try again."
| MatitaEngine.FailureCompiling (filename,exn) ->