matitaclean(1)

NAME

matitaclean - Matita interative theorem prover - cleanup tool

matitaclean all

MatitaClean v0.99.3

-b <path::uri> forces the baseuri of path

-I <path> Adds path to the list of searched paths for the include command

-conffile <filename> Read configuration from filename

-extract_ocaml Extract ocaml code

-force Force actions that would not be executed per default

-noprofile Turns off profiling printings

-noinnertypes Turns off inner types generation while publishing

-profile-only Activates only profiler with label matching the provided regex

-system Act on the system library instead of the user one

-no-default-includes Do not include the default searched paths for the include command

-execcomments Execute the content of (** ... *) comments

-v Verbose mode

--version Prints version