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
Il existe depuis très longtemps une immense secte d'imbéciles qui
opposent sensualité et intelligence. C'est un cercle vicieux : ils
se privent de volupté pour exalter leurs capacités intellectuelles,
ce qui a pour résultat de les appauvrir. Ils deviennent de plus en
plus stupides, ce qui les conforte dans leur conviction d'être
brillants -- car on n'a rien inventé de mieux que la bêtise pour se
croire intelligent.
-+- Amélie Nothomb, Métaphysique des tubes -+-