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