Rechercher une page de manuel

Chercher une autre page de manuel:

matitac.opt

Langue: en

Version: November 2008 (ubuntu - 07/07/09)

Section: 1 (Commandes utilisateur)

NAME

matitac - Matita interative theorem prover - batch compiler

SYNOPSIS

matitac [ OPTION ... ] FILE

DESCRIPTION

Matita batch compiler v0.5.3

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
-v Verbose mode
--version Prints version
-help
Display this list of options
--help
Display this list of options
Si le serveur avait été payant, il me permettrait de stocker
500 gigas de données, et serait beaucoup plus rapide
étant donné qu'il y aurait toute une équipe de soutien
et de développement derrière. Mais bon... Je suis tout
de même heureux qu'il soit là. Reste à faire en sorte
qu'un couillon n'aille pas voir les sources pour en reprendre
les 3/4 et en faire une version payante, comme Billou.
Je suis aussi au chômage à cause de ces mentalités.
S'il n'y avait pas d'open source, il y aurait alors un projet
et j'aurais donc une chance de me faire engager.
J'aurais donc un travail, et je pourrais alors me payer ce serveur.
Si le serveur était payant, il y aurait déjà une version 50
aujourd'hui et le serveur serait beaucoup plus commercial,
donc simple d'utilisation, avec des logos et images plutot qu'une
simple ligne de commande.
-- Jayce - Avec des «Si...» --