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 LAA21834 for caml-redistribution; Mon, 18 Nov 1996 11:07:28 +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 EAA16243 for ; Mon, 18 Nov 1996 04:06:32 +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.7.6/8.7.1) with ESMTP id EAA14424 for ; Mon, 18 Nov 1996 04:06:28 +0100 (MET) 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 MAA23676 for ; Mon, 18 Nov 1996 12:06:26 +0900 (JST) Received: (from garrigue@localhost) by orion.kurims.kyoto-u.ac.jp (SMI-8.6/3.5Wbeta) id MAA09664; Mon, 18 Nov 1996 12:06:25 +0900 Date: Mon, 18 Nov 1996 12:06:25 +0900 Message-Id: <199611180306.MAA09664@orion.kurims.kyoto-u.ac.jp> From: Jacques GARRIGUE To: caml-list@pauillac.inria.fr Subject: Ocaml-mode was updated Sender: weis The emacs caml-mode I released one month ago contained many small bugs, concerning both indenting and highlighting. I have corrected most of them, and after two weeks of use without problems, this new version is available. As before, you can get it from: http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/ocaml-mode-1.03.tar.gz By the way, new versions of O'Labl and LablTk were also available there from the day following the release of O'Caml 1.03. ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: J'ai depose' une nouvelle version du mode O'Caml pour emacs a` l'emplacement ci-dessus. De nombreux problemes ont ete' resolus, et cette version devrait etre utilisable de facon tout a` fait confortable, aussi bien pour l'indentation que la mise en valeur. (Pub!) Vous trouverez les nouvelles version d'O'Labl et LablTk a` la meme adresse. --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue@kurims.kyoto-u.ac.jp JG