From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA05274 for caml-redistribution; Tue, 15 Dec 1998 09:19:25 +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 IAA25049 for ; Tue, 15 Dec 1998 08:08:57 +0100 (MET) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id IAA08779 for ; Tue, 15 Dec 1998 08:08:55 +0100 (MET) Received: from localhost (safran.kurims.kyoto-u.ac.jp [130.54.16.91]) by kurims.kurims.kyoto-u.ac.jp (8.9.1a/3.7W) with ESMTP id QAA17558 for ; Tue, 15 Dec 1998 16:08:46 +0900 (JST) To: caml-list@pauillac.inria.fr Subject: The Objective Label Trilogy 2.01 & LablGL 0.91 X-Mailer: Mew version 1.93 on Emacs 20.3 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <19981215160831G.garrigue@kurims.kyoto-u.ac.jp> Date: Tue, 15 Dec 1998 16:08:31 +0900 From: Jacques GARRIGUE X-Dispatcher: imput version 980905(IM100) Content-Transfer-Encoding: 7bit Sender: weis As some would have expected, we release The Objective Label Trilogy, version 2.01 Containing as before * Objective Label O'Caml + labels + defaults + variants + polymorphic methods * LablTk Easy to use Tcl/Tk interface * LablBrowser Interface browser and type-aware editor This is mainly a bug-fix release, but the handling of polymorphic methods has been improved. There is also a bug-fix release of LablGL, the OpenGL interface LablGL, version 0.91 (No new features, you only need it if you had problems with LablGL 0.9) More information on the Trilogy and LablGL at http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ http://pauillac.inria.fr/olabl/ (soon) Source at ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/ --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp JG