matitac (1)

Matita interative theorem prover - batch compiler

  1. Carta.tech
  2. Man Pages
  3. Executable programs or shell commands
  4. matitac: Matita interative theorem prover - batch compiler
  1. Carta.tech
  2. Packages
  3. matita
  4. matitac: Matita interative theorem prover - batch compiler

SYNOPSIS

matitac [ OPTION ... ] FILE

DESCRIPTION

Matita batch compiler v0.99.1

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