exception Command_error of string
-class interpreter:
- disambiguator:MatitaTypes.disambiguator ->
- currentProof:MatitaTypes.currentProof ->
- console:MatitaTypes.console ->
+val interpreter:
+ console:#MatitaTypes.console ->
?mathViewer:MatitaTypes.mathViewer ->
- dbd:Mysql.dbd ->
unit ->
MatitaTypes.interpreter