Scroll to navigation

MATITAC(1) User Commands MATITAC(1)

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

Display this list of options
Display this list of options
September 2017 matitac 0.99.3