exception Cancel
-type abouts = [ `Blank | `Current_proof | `Us | `Coercions]
+type abouts = [ `Blank | `Current_proof | `Us | `Coercions | `CoercionsFull]
type mathViewer_entry =
[ `About of abouts
| `Cic of Cic.term * Cic.metasenv
| `Development of string
| `Dir of string
+ | `HBugs of [ `Tutors ]
| `Metadata of [ `Deps of [`Fwd | `Back] * UriManager.uri ]
| `Uri of UriManager.uri
| `Whelp of string * UriManager.uri list ]