NAME¶

matitac - Matita interative theorem prover - batch compiler

SYNOPSIS¶

matitac [ OPTION ... ] FILE

DESCRIPTION¶

Matita batch compiler v0.99.3

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

-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

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