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 QAA02583 for caml-redistribution; Thu, 28 Dec 1995 16:38:32 +0100 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id QAA02559; Thu, 28 Dec 1995 16:36:47 +0100 From: Pierre Weis Message-Id: <199512281536.QAA02559@pauillac.inria.fr> Subject: Re: avenir de caml-light To: gregoire@inrs-telecom.uquebec.ca (Jean Charles Gregoire) Date: Thu, 28 Dec 1995 16:36:46 +0100 (MET) Cc: caml-list@pauillac.inria.fr In-Reply-To: <199512211549.AA09639@velcro.inrs-telecom.uquebec.ca> from "Jean Charles Gregoire" at Dec 21, 95 10:49:24 am MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis Hi, > je cite : > > Though close to Caml Light in many ways, Caml Special Light is not the > latest release of Caml Light: the language implemented has changed in > significant ways, source-level compatibility is not ensured, and the > implementation has been almost completely rewritten from scratch. > > Sur le point de m'embarquer dans une nouvelle re'vision d'un logiciel, je me > demande si : > - caml-light version 0.7 est bien la dernie`re re'vision de caml-light > - tous les efforts de support et de de'veloppement sont maintenant mis sur > CSL. > > Merci, > > J-Ch. Gre'goire In the Cristal team, the main stream of development is now on the CSL implementation, but we'll maintain the Caml Light system as long as it will have users. For instance, the 0.7 version is not the last version of Caml Light, since we'll distribute a new 0.71 version very soon. Support and development of the Caml Light system is not abandoned as well (especially because it is widely used in computer science teaching). Pierre Weis ---------------------------------------------------------------------------- WWW Home Page: http://pauillac.inria.fr/~weis Projet Cristal INRIA, BP 105, F-78153 Le Chesnay Cedex (France) E-mail: Pierre.Weis@inria.fr Telephone: +33 1 39 63 55 98 Fax: +33 1 39 63 53 30 ----------------------------------------------------------------------------