Poster of Linux kernelThe best gift for a Linux geek
MATITADEP

MATITADEP

Section: User Commands (1) Updated: April 2010
Local index Up
 

NAME

matitadep - Matita interative theorem prover - dependency analyzer  

SYNOPSIS

matitadep [ OPTION ... ]  

DESCRIPTION

Matita depency file generator 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
-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


 

Index

NAME
SYNOPSIS
DESCRIPTION
OPTIONS

This document was created by man2html, using the manual pages.
Time: 21:23:46 GMT, April 16, 2011