method show_entry: ?reuse:bool -> mathViewer_entry -> unit
method show_uri_list:
?reuse:bool -> entry:mathViewer_entry -> UriManager.uri list -> unit
+ method screenshot:
+ GrafiteTypes.status -> NCic.metasenv -> NCic.metasenv ->
+ NCic.substitution -> string -> unit
end