gappa(1) on Linux
The text 5e3858b1484f, as Debian 12 (Bookworm) shipped it.
manual page for Gappa 1.4.1
Flags it lists
-
--help -
--version -
-Bcoq -
-Bcoq-lambda -
-Bholl -
-Blatex -
-Bnull -
-Echange-threshold -
-Edichotomy -
-Eno-auto-dichotomy -
-Eprecision -
-Mschemes -
-Mstatistics -
-Munconstrained -
-h -
-v