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 -> int * NCic.conjecture -> NCic.metasenv ->
+ NCic.substitution -> string -> unit
end