method load: MatitaTypes.mathViewer_entry -> unit
(* method loadList: string list -> MatitaTypes.mathViewer_entry -> unit *)
method loadInput: string -> unit
method load: MatitaTypes.mathViewer_entry -> unit
(* method loadList: string list -> MatitaTypes.mathViewer_entry -> unit *)
method loadInput: string -> unit