matitac.opt(1) on Linux
The text 91a43aa84f90, as Debian 8 (Jessie) shipped it.
Matita interative theorem prover - batch compiler
Flags it lists
-
--help -
-help
The text 91a43aa84f90, as Debian 8 (Jessie) shipped it.
Matita interative theorem prover - batch compiler
--help
-help