Rechercher une page de manuel

Chercher une autre page de manuel:

coqtop.opt

Langue: en

Version: 110801 (mandriva - 01/05/08)

Section: 1 (Commandes utilisateur)

NAME

coqtop.opt - The native-code Coq toplevel

SYNOPSIS

coqopt.opt [ options ] [ file ]

DESCRIPTION

coqopt.opt is the native-code version of Coq. It should not be called directly, but only by coqtop and coqc

SEE ALSO

coqtop(1), coqc(1).
The Coq Reference Manual. The Coq web site: http://coq.inria.fr

23:16 Comment on fait pour utiliser/configurer une souris de Imac USB
avec un seul bouton sous X ?
23:59 23.16 : on utilise la touche commande (le trefle) et option ou
bien 2 touches dupave numerique (0 et ,) lorsque celui ci n'est
pas en numlock pour simuler les 2 autres boutons
00:01 23:59 Xemacs+Mac = Mortal Kombat :-))