exception Cancel
-type abouts = [ `Blank | `Current_proof | `Us | `Coercions | `CoercionsFull]
+type abouts = [ `Blank | `Current_proof | `Us | `Coercions
+ | `CoercionsFull | `TeX | `Grammar]
type mathViewer_entry =
[ `About of abouts
| `HBugs of [ `Tutors ]
| `Metadata of [ `Deps of [`Fwd | `Back] * UriManager.uri ]
| `Uri of UriManager.uri
+ | `NRef of NReference.reference
| `Whelp of string * UriManager.uri list
| `Univs of UriManager.uri
]