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 VAA31690; Mon, 5 Jul 2004 21:36:07 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 VAA31930 for ; Mon, 5 Jul 2004 21:36:06 +0200 (MET DST) Received: from a.mx.polytechnique.org (a.mx.polytechnique.org [129.104.30.34]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i65Ja5EV028245 for ; Mon, 5 Jul 2004 21:36:05 +0200 Received: from localhost (localhost [127.0.0.1]) by djali.m4x.org (Postfix) with ESMTP id 3AA9133239 for ; Mon, 5 Jul 2004 21:36:05 +0200 (CEST) Received: from djali.m4x.org ([127.0.0.1]) by localhost (djali [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id 27824-01 for ; Mon, 5 Jul 2004 21:36:05 +0200 (CEST) Received: from charm.inrialpes.fr (pasteur-4-82-224-181-11.fbx.proxad.net [82.224.181.11]) (using TLSv1 with cipher EDH-RSA-DES-CBC3-SHA (168/168 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTP id EB02233201 for ; Mon, 5 Jul 2004 21:36:04 +0200 (CEST) Received: by charm.inrialpes.fr (Postfix, from userid 1000) id AE69E20D601; Mon, 5 Jul 2004 21:36:03 +0200 (CEST) Date: Mon, 5 Jul 2004 21:36:03 +0200 From: Alan Schmitt To: caml-list@inria.fr Subject: Re: [Caml-list] Internals documentation Message-ID: <20040705193603.GA8201@alan-schm1p> Mail-Followup-To: caml-list@inria.fr References: <20040705.170707.23033047.andrieu@ijm.jussieu.fr> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="zhXaljGHf11kAtnf" Content-Disposition: inline In-Reply-To: <20040705.170707.23033047.andrieu@ijm.jussieu.fr> X-Editor: Vim http://vim.sf.net/ X-Info: http://pauillac.inria.fr/~aschmitt/ X-Operating-System: Linux/2.6.7-gentoo-r8 (i686) X-Uptime: 21:33:46 up 1:19, 2 users, load average: 0.29, 0.39, 0.27 User-Agent: Mutt/1.5.6i X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) X-Miltered: at nez-perce with ID 40E9ADA5.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 internals:01 andrieu:01 andrieu:01 formiga:01 2004:99 internals:01 runtime:01 sourceforge:01 sourceforge:01 docaml:01 compiler:01 ocaml:01 olivier:02 olivier:02 X-Attachments: type="application/pgp-signature" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --zhXaljGHf11kAtnf Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable * Olivier Andrieu (olivier.andrieu@polytechnique.org) wrote: > Hi Andrei, >=20 > Andrei Formiga [Mon, 5 Jul 2004]: > > Hello there, > >=20 > > I was looking for documentation about the OCaml implementation, or > > some discussion about the internals, especially the compiler and > > runtime. I searched the list archives and got no results (maybe I > > didn't do it right). So, there appears to be none. >=20 > There was a project on Sourceforge about this:=20 > http://www.sourceforge.net/projects/docaml >=20 > It's mostly dead but there's a couple of LaTeX files lying in the > CVS. Could be a starting point. It's indeed dead, but if there is someone willing to revive it, I would=20 definitely participate again. Alan Schmitt --=20 The hacker: someone who figured things out and made something cool happen. =2EO. =2E.O OOO --zhXaljGHf11kAtnf Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFA6a2jNIAqM4hFUWgRAh5IAJ9HlXzz5h6Kl1k77miwOp/VU7wYagCdGeMI vqH37fEfESz3TYhOgbvMBsE= =h37a -----END PGP SIGNATURE----- --zhXaljGHf11kAtnf-- ------------------- 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