Rechercher une page de manuel

Chercher une autre page de manuel:


Langue: en

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

Section: 1 (Commandes utilisateur)


matitadep - Matita interative theorem prover - dependency analyzer


matitadep [ OPTION ... ]


Matita depency file generator 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
-dot Save dependency graph in dot format and generate a png
-stdout Print dependences on stdout
-theory <name> generate a theory file <name>.ma (it includes all other files)
Display this list of options
Display this list of options
Lorsqu'arrive le souffle noir,
que croît l'ombre de la mort
et que toute la lumière passe,
viens athelas! viens athelas!
Vie pour le mourant
dans la main du roi contenue.
-- J.R.R. Tolkien, "Le retour du roi"