From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id TAA25772 for caml-redistribution; Fri, 14 Jun 1996 19:20:11 +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 IAA09932 for ; Fri, 14 Jun 1996 08:37:27 +0200 Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id IAA02578 for ; Fri, 14 Jun 1996 08:37:24 +0200 (MET DST) Received: from orion.kurims.kyoto-u.ac.jp (orion.kurims.kyoto-u.ac.jp [130.54.16.5]) by kurims.kurims.kyoto-u.ac.jp (8.7.5/3.4W2) with SMTP id PAA19141 for ; Fri, 14 Jun 1996 15:37:11 +0900 (JST) From: Jacques GARRIGUE Date: Fri, 14 Jun 1996 15:37:10 +0900 Message-Id: <199606140637.PAA12359@orion> To: caml-list@pauillac.inria.fr In-reply-to: <199606121535.RAA01413@pauillac.inria.fr> (message from Xavier Leroy on Wed, 12 Jun 1996 17:35:03 +0200 (MET DST)) Subject: Objective Label 1.01 Sender: weis Objective Label has been updated to version 1.01. There are only few modifications in the label part, the main goal being the integration of the new O'Caml release. * it is now possible to use optionals in class definitions and methods, and this in a secure way * type checking is stricter and more intelligent As always, see http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue@kurims.kyoto-u.ac.jp JG