matitadep(1) on Linux
The text 3c8975c8c53e, as Debian 5.0 (Lenny) shipped it.
Matita interative theorem prover - dependency analyzer
Flags it lists
-
--help -
-help
The text 3c8975c8c53e, as Debian 5.0 (Lenny) shipped it.
Matita interative theorem prover - dependency analyzer
--help
-help