table of contents
MATITAC(1) | User Commands | MATITAC(1) |
NAME¶
matitac - Matita interative theorem prover - batch compilerSYNOPSIS¶
matitac [ OPTION ... ] FILEDESCRIPTION¶
Matita batch compiler v0.99.1OPTIONS¶
-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
May 2012 | matitac 0.99.1 |