From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id TAA08338 for caml-redistribution; Thu, 6 Jul 1995 19:39:28 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id TAA08300 for ; Thu, 6 Jul 1995 19:25:47 +0200 Received: from fronsac.inria.fr (fronsac.inria.fr [128.93.8.72]) by concorde.inria.fr (8.6.10/8.6.9) with ESMTP id TAA23128; Thu, 6 Jul 1995 19:28:42 +0200 Received: from localhost (rouaix@localhost) by fronsac.inria.fr (8.6.10/8.6.6) with SMTP id TAA06038; Thu, 6 Jul 1995 19:27:45 +0200 Message-Id: <199507061727.TAA06038@fronsac.inria.fr> X-Authentication-Warning: fronsac.inria.fr: Host localhost didn't use HELO protocol X-Mailer: exmh version 1.5.3 12/28/94 To: Franck Delaplace cc: caml-list@pauillac.inria.fr Subject: Re: omega 2 camllight In-reply-to: Your message of "Thu, 06 Jul 1995 14:07:56 +0200." <199507061207.OAA00473@smetana.lami.univ-evry.fr> Reply-To: Francois.Rouaix@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Thu, 06 Jul 1995 19:27:42 +0200 From: Francois Rouaix Sender: weis > Does exist a caml library to interface camllight and the omega calculator (William Pugh) ? No, we have not heard of such a thing. I guess the main problem would be to interface C++ library code with the C Caml Light runtime... -- Francois.Rouaix@inria.fr Projet Cristal - INRIA Rocquencourt WWW Home Page: http://pauillac.inria.fr/~rouaix/