exception Cancel
type abouts = [ `Blank | `Current_proof | `Us | `Coercions
- | `CoercionsFull | `TeX | `Grammar]
+ | `CoercionsFull | `TeX | `Grammar | `Hints]
type mathViewer_entry =
[ `About of abouts
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