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 JAA14108; Tue, 30 Oct 2001 09:52:32 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 JAA14163 for ; Tue, 30 Oct 2001 09:52:31 +0100 (MET) Received: from tcs.inf.tu-dresden.de (tcs.inf.tu-dresden.de [141.76.75.101]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f9U8qUf03396 for ; Tue, 30 Oct 2001 09:52:31 +0100 (MET) Received: from ithif51 (ithif51 [141.76.75.51]) by tcs.inf.tu-dresden.de (8.12.0.Beta7/8.12.0.Beta7) with ESMTP id f9U8qQ49010588 for ; Tue, 30 Oct 2001 09:52:27 +0100 (MET) Received: from tews by ithif51 with local (Exim 3.12 #1 (Debian)) id 15yUdG-0006p1-00 for ; Tue, 30 Oct 2001 09:52:26 +0100 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15326.27209.775213.987022@gargle.gargle.HOWL> Date: Tue, 30 Oct 2001 09:52:25 +0100 (CET) To: caml-list@inria.fr Subject: Re: [Caml-list] Whither the Caml Consortium? In-Reply-To: <15320.13183.440243.510939@lachesis.inria.fr> References: <20011020012347.A29847@quincy.inria.fr> <20011019192854.N9735-100000@shell5.ba.best.com> <20011020172932.A5967@fichte.ai.univie.ac.at> <20011022192533.A12039@quincy.inria.fr> <3BD45932.6D782E08@earthlink.net> <20011024175707.A23319@dpt-info.u-strasbg.fr> <15319.58040.859039.299169@gargle.gargle.HOWL> <15320.13183.440243.510939@lachesis.inria.fr> X-Mailer: VM 6.75 under Emacs 20.7.2 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, Fabrice Le Fessant writes: Date: Thu, 25 Oct 2001 17:45:03 +0200 (CEST) Subject: Re: [Caml-list] Whither the Caml Consortium? Maybe you don't know, but the CDK is distributed with a patched version of the ocaml compiler. Indeed I was not aware of this. Where are these patches documented? I only found cdk/sources/ocaml.patches/README, which describes only 2 of the 17 patches. Bye, Hendrik ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr