prooftree(1) on Linux
The text 922ec8c0d515, as Debian 8 (Jessie) shipped it.
proof-tree display for Proof General
Flags it lists
-
-config -
-debug -
-geometry -
-help -
-help-dialog -
-tee