debian man page for matitaclean

MATITACLEAN(1)							   User Commands						    MATITACLEAN(1)

NAME
       matitaclean - Matita interative theorem prover - cleanup tool

SYNOPSIS
       matitaclean all

DESCRIPTION
       MatitaClean v0.99.1

	      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 command

       -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

       -debug Do not catch top-level exception (useful for backtrace inspection)

       -onepass Enable only one disambiguation pass

       -help  Display this list of options

       --help Display this list of options

matitaclean 0.99.1						     May 2012							    MATITACLEAN(1)