Rechercher une page de manuel

Chercher une autre page de manuel:

cduce_mktop

Langue: en

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

Section: 1 (Commandes utilisateur)

NAME

cduce_mktop --- Produce a customized CDuce toplevel/compiler.

SYNOPSIS

cduce_mktop [target] [primitive file]

Description

See the CDuce users' manual:
  http://www.cduce.org/manual_interfacewithocaml.html#link.

Author

Alain Frisch <Alain.Frisch@ens.fr>.

L'ensemble de ce qui compte ne peut pas être compté, et l'ensemble de ce
qui peut être compté ne compte pas.
-+- Albert Einstein -+-