Rechercher une page de manuel

Chercher une autre page de manuel:

matitac.opt

Langue: en

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

Section: 1 (Commandes utilisateur)

NAME

matitac - Matita interative theorem prover - batch compiler

SYNOPSIS

matitac [ OPTION ... ] FILE

DESCRIPTION

Matita batch compiler 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
-help
Display this list of options
--help
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