* http://helm.cs.unibo.it/
*)
-class interpreter:
- disambiguator:MatitaTypes.disambiguator ->
- console:MatitaConsole.console ->
- get_proof:(unit -> MatitaTypes.proof) ->
- new_proof:(MatitaTypes.proof -> unit) ->
+exception Command_error of string
+
+val interpreter:
+ console:#MatitaTypes.console ->
+ ?mathViewer:MatitaTypes.mathViewer ->
unit ->
MatitaTypes.interpreter