MATITACLEAN(1)
NAME
matitaclean - Matita interative theorem prover - cleanup tool
SYNOPSIS
matitaclean all
DESCRIPTION
- MatitaClean v0.5.8
- matitaclean ( FILE | URI )
OPTIONS
-b <path::uri> forces the baseuri of path
- -I <path> Adds path to the list of searched paths for the include com
- mand
- -conffile <filename> Read configuration from filename
Default: debian/tmp/usr/share/matita//matita.conf.xml- -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
WARNING: not for the casual user- -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
- -help Display this list of options
- --help Display this list of options