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 UAA10164 for caml-redistribution; Fri, 12 Dec 1997 20:35:50 +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 GAA22864 for ; Fri, 12 Dec 1997 06:45:38 +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.5) with ESMTP id GAA01645 for ; Fri, 12 Dec 1997 06:45:26 +0100 (MET) Received: from localhost (safran.kurims.kyoto-u.ac.jp [130.54.16.91]) by kurims.kurims.kyoto-u.ac.jp (8.8.7/3.4W2) with ESMTP id OAA05419 for ; Fri, 12 Dec 1997 14:45:12 +0900 (JST) To: caml-list@pauillac.inria.fr Subject: Objective Label 1.07 X-Mailer: Mew version 1.92 on Emacs 20.2 / Mule 3.0 (MOMIJINOGA) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <19971212144414A.garrigue@kurims.kyoto-u.ac.jp> Date: Fri, 12 Dec 1997 14:44:14 +0900 From: Jacques GARRIGUE X-Dispatcher: imput version 971024 Sender: weis 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 JG