Rechercher une page de manuel

Chercher une autre page de manuel:


Langue: en

Version: April 2010 (ubuntu - 24/10/10)

Section: 1 (Commandes utilisateur)


matitac - Matita interative theorem prover - batch compiler


matitac [ OPTION ... ] FILE


Matita batch compiler v0.5.8


-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
Display this list of options
Display this list of options
Ni rame de marin,
Ni ta misère si matin,
Ni talent né latin,
Ni lama malin,
Ni mage gamin,
Ni âme demain,
Ni vide divin,
Ni fin.
-- Roche, Jean