votour: guided tour of a Rocq .vo or .vi file Usage: votour file.v[oi] -help Display this list of options --help Display this list of options
Options (2)
| Option | Description | Source |
|---|---|---|
-help | Display this list of options | help |
--help | Display this list of options | help |