MATITAC
MATITAC
Section: User Commands (1) Updated: April 2010 Local index
Up
NAME
matitac - Matita interative theorem prover - batch compiler
SYNOPSIS
matitac
[ OPTION ... ] FILE
DESCRIPTION
Matita batch compiler v0.5.8
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
- -help
-
- Display this list of options
- --help
-
Display this list of options
Index
- NAME
-
- SYNOPSIS
-
- DESCRIPTION
-
- OPTIONS
-
This document was created by
man2html,
using the manual pages.
Time: 21:23:46 GMT, April 16, 2011