coqdoc(1) on Linux
The text 5011aea78b9c, as Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.
A documentation tool for the Coq proof assistant
Flags it lists
-
-h
The text 5011aea78b9c, as Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.
A documentation tool for the Coq proof assistant
-h