matitac.opt(1) on Linux
The text 9e377997dff1, as Debian 5.0 (Lenny) shipped it.
Matita interative theorem prover - batch compiler
Flags it lists
-
--help -
-help
The text 9e377997dff1, as Debian 5.0 (Lenny) shipped it.
Matita interative theorem prover - batch compiler
--help
-help