From: Jacques GARRIGUE <garrigue@kurims.kyoto-u.ac.jp>
To: caml-list@pauillac.inria.fr
Subject: Objective Label 1.01
Date: Fri, 14 Jun 1996 15:37:10 +0900 [thread overview]
Message-ID: <199606140637.PAA12359@orion> (raw)
In-Reply-To: <199606121535.RAA01413@pauillac.inria.fr> (message from Xavier Leroy on Wed, 12 Jun 1996 17:35:03 +0200 (MET DST))
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>
prev parent reply other threads:[~1996-06-14 17:20 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-06-12 15:35 Objective Caml 1.01 Xavier Leroy
1996-06-14 6:37 ` Jacques GARRIGUE [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199606140637.PAA12359@orion \
--to=garrigue@kurims.kyoto-u.ac.jp \
--cc=caml-list@pauillac.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox