From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tews@os.inf.tu-dresden.de>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 1C3137EE4B
	for <caml-list@sympa.inria.fr>; Wed, 25 Sep 2013 10:59:26 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  tews@os.inf.tu-dresden.de) identity=pra;
  client-ip=141.76.48.99;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="tews@os.inf.tu-dresden.de";
  x-sender="tews@os.inf.tu-dresden.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  tews@os.inf.tu-dresden.de) identity=mailfrom;
  client-ip=141.76.48.99;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="tews@os.inf.tu-dresden.de";
  x-sender="tews@os.inf.tu-dresden.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@os.inf.tu-dresden.de) identity=helo;
  client-ip=141.76.48.99;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="tews@os.inf.tu-dresden.de";
  x-sender="postmaster@os.inf.tu-dresden.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsEAADClQlKNTDBjl2dsb2JhbABbgmZZwQ2BJhYOAQEBAQEIFgc8gmaBXIg7A5osoTuPboQHA5d8gS+Tbg
X-IPAS-Result: AsEAADClQlKNTDBjl2dsb2JhbABbgmZZwQ2BJhYOAQEBAQEIFgc8gmaBXIg7A5osoTuPboQHA5d8gS+Tbg
X-IronPort-AV: E=Sophos;i="4.90,977,1371074400"; 
   d="scan'208";a="34248659"
Received: from os.inf.tu-dresden.de ([141.76.48.99])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Sep 2013 10:59:24 +0200
Received: from [2002:8d4c:3001:48:222:68ff:fe19:71d] (helo=blau.inf.tu-dresden.de)
	by os.inf.tu-dresden.de with esmtpsa (TLSv1:DHE-RSA-AES128-SHA:128) (Exim 4.80.1)
	id 1VOkwO-0008NJ-Lg
	for caml-list@inria.fr; Wed, 25 Sep 2013 10:59:25 +0200
Received: from tews by blau.inf.tu-dresden.de with local (Exim 4.80)
	(envelope-from <tews@blau.inf.tu-dresden.de>)
	id 1VOkwN-0004U5-Ud
	for caml-list@inria.fr; Wed, 25 Sep 2013 10:59:23 +0200
From: Hendrik Tews <tews@os.inf.tu-dresden.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <21058.42475.817937.760299@blau.inf.tu-dresden.de>
Date: Wed, 25 Sep 2013 10:59:23 +0200
To: caml-list@inria.fr
X-Mailer: VM 8.1.0 under 23.4.1 (i486-pc-linux-gnu)
Subject: [Caml-list] [ANNOUNCE] otags reloaded 4.01.1 for OCaml 4.01

Hi,

I updated otags to OCaml 4.01. You can find it at the usual place
http://askra.de/software/otags/ under the usual license GPL v3.

Otags reloaded generates tags tables for emacs and vi/vim. 

Because of OCaml bug #6175, otags will die on sources containing
the new open! keyword. Because of this bug I highly recommend
everybody to upgrade otags as soon as you start using an OCaml
version that fixes #6175.

Bye,

Hendrik