coqtop(1) on Linux
The text 7e217ee39382, as Debian 2.2 (Potato) shipped it.
The Coq toplevel system
Flags it lists
-
-batch -
-debug -
-emacs -
-full -
-nois -
-notactics -
-opt -
-q -
-searchisos -
-v -
-where