coq-interface.opt(1) on Linux

The text 5e7b58861f61, as Debian 6.0 (Squeeze) shipped it. The page shows this text now.

Customized Coq toplevel to make user interfaces

Flags it lists