From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by margaux.inria.fr, Thu, 27 May 93 09:46:36 +0200
Received: from concorde.inria.fr by margaux.inria.fr, Thu, 27 May 93 00:45:41 +0200
Received: from Tamuz.Stanford.EDU by concorde.inria.fr; Thu, 27 May 1993 00:46:20 +0200
Received:  by Tamuz.Stanford.EDU (5.61/25-theory-eef) id AA00998; Wed, 26 May 93 15:46:07 -0700
From: Xavier Leroy <xavier@Theory.Stanford.EDU>
Message-Id: <9305262246.AA00998@Tamuz.Stanford.EDU>
Subject: Re: version PC caml_light 0.5 386
To: roziere@logique.jussieu.fr (Paul Roziere)
Date: Wed, 26 May 1993 15:46:06 -0700 (PDT)
Cc: caml-list@margaux, coret@logique.jussieu.fr
In-Reply-To: <9305251750.AA15065@frege.logique.jussieu.fr> from "Paul Roziere" at May 25, 93 07:50:11 pm
Content-Type: text
Sender: weis@margaux

Pour etre tout a fait exact, veuillez remplacer "DPMI" par "VCPI" dans
ma precedente reponse.

- Xavier Leroy