Objective Label 1.07

From: Jacques GARRIGUE (garrigue@kurims.kyoto-u.ac.jp)
Date: Fri Dec 12 1997 - 06:44:14 MET


To: caml-list@pauillac.inria.fr
Subject: Objective Label 1.07
Message-Id: <19971212144414A.garrigue@kurims.kyoto-u.ac.jp>
Date: Fri, 12 Dec 1997 14:44:14 +0900
From: Jacques GARRIGUE <garrigue@kurims.kyoto-u.ac.jp>

This release of Objective Label is only intended to integrate
changes in Objective Caml 1.07. There are no specific changes in O'Labl
itself, nor in LablTk or LablBrowser.

Newly available files are:

  olabl-1.07.tar.gz The usual building kit, using O'Caml 1.07
  ocaml-olabl-1.07.diffs.gz The patch alone (no other changes)
  olabl-1.06-1.07.diffs.gz A patch to upgrade from O'Labl 1.06
  ocaml-mode-1.07.tar.gz Corrects a few bugs (included in both patches)

You can find them at:
        ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/
or very soon at:
        ftp://ftp.inria.fr/INRIA/Projects/cristal/olabl/

General information about the Objective Label Trilogy is available at:
        http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/
        http://pauillac.inria.fr/olabl/

---------------------------------------------------------------------------
Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp
                <A HREF=http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/>JG</A>



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:13 MET