From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA17833; Fri, 14 May 2004 11:42:27 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA17634 for ; Fri, 14 May 2004 11:42:26 +0200 (MET DST) Received: from mailserver.di.unipi.it (apis.di.unipi.it [131.114.3.6]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4E9gPEV002802 for ; Fri, 14 May 2004 11:42:25 +0200 Organization: Dipartimento di Informatica Received: from nutella.di.unipi.it (nutella [131.114.3.146]) by mailserver.di.unipi.it (8.11.6/8.11.6) with ESMTP id i4E9gOq06262 for ; Fri, 14 May 2004 11:42:24 +0200 Received: from localhost (trento@localhost) by nutella.di.unipi.it (8.11.6/8.9.1) with ESMTP id i4E9gM007499 for ; Fri, 14 May 2004 11:42:22 +0200 X-Authentication-Warning: nutella.di.unipi.it: trento owned process doing -bs Date: Fri, 14 May 2004 11:42:22 +0200 (CEST) From: Claudio Trento To: caml-list@inria.fr Subject: [Caml-list] MLGMP documantation Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-MailScanner-Information: Please contact the ISP for more information X-MailScanner: Found to be clean X-MailScanner-SpamCheck: non spam, SpamAssassin (punteggio=-4.858, necessario 3, AWL 0.04, BAYES_00 -4.90) X-Miltered: at nez-perce with ID 40A49481.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; trento:99 trento:99 mlgmp:01 gmp:01 module:03 claudio:07 claudio:07 i'm:07 unipi:08 U5:88 hello:15 could:20 thanks:21 where:22 about:39 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, I'm searching documentation about Gmp module, someone could tell me where can I find it? Thanks, Claudio ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners