Rechercher une page de manuel

Chercher une autre page de manuel:


Langue: en

Version: November 2008 (ubuntu - 07/07/09)

Section: 1 (Commandes utilisateur)


matitac - Matita interative theorem prover - batch compiler


matitac [ OPTION ... ] FILE


Matita batch compiler v0.5.3


-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
-v Verbose mode
--version Prints version
Display this list of options
Display this list of options
11:47 <musique>J'etais sur le root toute la sainte journée ...</musique>
11:49 11:47 ... Je n'ai pas vu le root en moi s'immiscer ...
11:50 11:49 (le root est un PD (pauvre donald))