Rechercher une page de manuel
matitadep
Langue: en
Version: April 2010 (ubuntu - 24/10/10)
Section: 1 (Commandes utilisateur)
Sommaire
NAME
matitadep - Matita interative theorem prover - dependency analyzerSYNOPSIS
matitadep [ OPTION ... ]DESCRIPTION
Matita depency file generator v0.5.8OPTIONS
- -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)
- -help
- Display this list of options
- --help
- Display this list of options
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre