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 LAA30110; Tue, 22 May 2001 11:15:14 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA30106 for ; Tue, 22 May 2001 11:15:13 +0200 (MET DST) Received: from cremant.inria.fr (cremant.inria.fr [128.93.8.143]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f4M9FDn19154 for ; Tue, 22 May 2001 11:15:13 +0200 (MET DST) Received: (from lefessan@localhost) by cremant.inria.fr (8.11.0/8.11.0) id f4M9FDB31783; Tue, 22 May 2001 11:15:13 +0200 X-Authentication-Warning: cremant.inria.fr: lefessan set sender to fabrice.le_fessant@inria.fr using -f From: Fabrice Le Fessant MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15114.11808.906797.96108@cremant.inria.fr> Date: Tue, 22 May 2001 11:15:12 +0200 (CEST) To: caml-list@inria.fr Subject: [Caml-list] New CDK documentation X-Mailer: VM 6.75 under Emacs 20.7.1 Reply-To: fabrice.le_fessant@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk After the discussion on which format should be used for the CDK, we implemented a new version of cdk_doc generating texinfo files. The results (DVI, Postscript, Info, HTML and PDF) can be seen on: http://pauillac.inria.fr/cdk/newdoc We are now waiting for your opinions ... - Fabrice ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr