Re: version PC caml_light 0.5 386

Xavier Leroy (xavier@Theory.Stanford.EDU)
Wed, 26 May 1993 15:46:06 -0700 (PDT)

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)
In-Reply-To: <9305251750.AA15065@frege.logique.jussieu.fr> from "Paul Roziere" at May 25, 93 07:50:11 pm

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

- Xavier Leroy