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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 743AC7EEBF
	for <caml-list@sympa.inria.fr>; Wed,  5 Dec 2012 13:44:23 +0100 (CET)
Received-SPF: None (mail1-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=mail1-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 (mail1-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=mail1-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 (mail1-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=mail1-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: Ar0EAG1Av1CNTDBjgWdsb2JhbABEgmy6OgQEgQAWDgEBFiYngl8/gR0viBYDwW+NUYMnA5YDgRySHg
X-IronPort-AV: E=Sophos;i="4.84,221,1355094000"; 
   d="scan'208";a="184716795"
Received: from os.inf.tu-dresden.de ([141.76.48.99])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 05 Dec 2012 13:44:22 +0100
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 1TgEKs-0008Fz-1P; Wed, 05 Dec 2012 13:44:22 +0100
Received: from tews by blau.inf.tu-dresden.de with local (Exim 4.80)
	(envelope-from <tews@blau.inf.tu-dresden.de>)
	id 1TgEKq-00040n-U1; Wed, 05 Dec 2012 13:44:20 +0100
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: <20671.16804.800791.94910@blau.inf.tu-dresden.de>
Date: Wed, 5 Dec 2012 13:44:20 +0100
To: caml-list@inria.fr 
CC: sfri <sebastien.fricker@gmail.com>
X-Mailer: VM 8.1.0 under 23.4.1 (i486-pc-linux-gnu)
Subject: [Caml-list] [ANNOUNCE] otags reloaded 4.00.1 for OCaml 4.00

Hi,

I would like to announce the first release of otags reloaded for
OCaml 4.00. It is available at

    http://askra.de/software/otags/

Otags reloaded generates tags tables for emacs and vi/vim. This
version supports GADT's and does not compile with OCaml 3.12.

Otags reloaded is distributed under GPL v3.

Bye,

Hendrik