From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA09715 for caml-redistribution; Tue, 30 Nov 1999 09:25:11 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA16672 for ; Mon, 29 Nov 1999 15:34:19 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id PAA01229 for ; Mon, 29 Nov 1999 15:34:17 +0100 (MET) Received: from localhost (riesling.inria.fr [128.93.8.51]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA22166 for ; Mon, 29 Nov 1999 15:34:17 +0100 (MET) To: caml-list@inria.fr Subject: Objective Label 2.04 Reply-To: Jacques.Garrigue@inria.fr X-Mailer: Mew version 1.93 on Emacs 20.4 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <19991129153417W.garrigue@pauillac.inria.fr> Date: Mon, 29 Nov 1999 15:34:17 +0100 From: Jacques Garrigue X-Dispatcher: imput version 980905(IM100) Sender: weis This is my pleasure to announce The Objective Label Trilogy, version 2.04 As always the trilogy includes the Objective Label language, extending Objective Caml with labeled and optional arguments, polymorphic variants, and polymorphic methods; the LablTk GUI library; the LablBrowser library browser. There only few changes in this release: * the generation of olablc.opt and olablopt.opt for faster compilation * several bug fixes in the match compiler You can obtain the trilogy from http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/ Notice that this is probably the last release of Objective Label, since most of its functionality will be directly included in future releases of Objective Caml. However this release concerns very much people who: * have an important olabl code base. OCaml, even including most features, will not be fully compatible with the existing OLabl. * are using polymorphic methods. For technical reasons, this feature will probably not be included soon in OCaml. ------------------------------------------------------ Jacques Garrigue, visiting INRIA from Kyoto University Jacques.Garrigue at inria.fr