Objective Label 1.01

Jacques GARRIGUE (garrigue@kurims.kyoto-u.ac.jp)
Fri, 14 Jun 1996 15:37:10 +0900

From: Jacques GARRIGUE <garrigue@kurims.kyoto-u.ac.jp>
Date: Fri, 14 Jun 1996 15:37:10 +0900
Message-Id: <199606140637.PAA12359@orion>
To: caml-list@pauillac.inria.fr
Subject: Objective Label 1.01

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
<A HREF=http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/>JG</A>