From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0I91SNQ018780 for ; Wed, 18 Jan 2012 10:01:28 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgEHAPCJFk+NTDBj/2dsb2JhbABEnUABjnmBAYEFgjM/gR0viAG4W4kyAQEEBAkFAQUJCQUBBRERDAEBBgEFLAECAQECAQIBAgEBAQECCgIVAw8IAQMDAgcSBAQBCwIHAQkDBBEJAwIRBgKBQoEAgxwElRSSRQ X-IronPort-AV: E=Sophos;i="4.71,528,1320620400"; d="scan'208";a="140326537" 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; 18 Jan 2012 10:01: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:AES256-SHA:256) (Exim 4.77) id 1RnROT-0001j5-RX; Wed, 18 Jan 2012 10:01:21 +0100 Received: from tews by blau.inf.tu-dresden.de with local (Exim 4.72) (envelope-from ) id 1RnROR-0000NF-SL; Wed, 18 Jan 2012 10:01:19 +0100 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <20246.35423.749333.875810@blau.inf.tu-dresden.de> Date: Wed, 18 Jan 2012 10:01:19 +0100 To: caml-list@inria.fr CC: Francois Berenger X-Validation-by: tews@os.inf.tu-dresden.de Subject: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1 Hi, better late than never: I would like to announce the first release of otags reloaded for OCaml 3.12. It is available at http://askra.de/software/otags/ Otags reloaded generates tags tables for emacs and vi/vim. Note that otags (by default) refuses to compile with OCaml 3.12.0, because that version contains a bug that makes otags quite unusable. Otags reloaded is distributed under GPL v3. Bye, Hendrik Tews