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