gappa(1) on Linux
The text afc52769841c, as Debian 13 (Trixie) shipped it. The page shows this text now.
manual page for Gappa 1.6.0
Flags it lists
-
--debug -
--help -
--version -
-Bcoq -
-Bcoq-lambda -
-Bd2 -
-Bholl -
-Blatex -
-Bnull -
-Echange-threshold -
-Edichotomy -
-Eno-auto-dichotomy -
-Eprecision -
-Mschemes -
-Mstatistics -
-Munconstrained -
-d -
-h -
-v