From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 52A627F058 for ; Sun, 10 Jan 2016 21:45:12 +0100 (CET) IronPort-PHdr: 9a23:l2gJ3xbvGZ3bQar/X9ZC3Dv/LSx+4OfEezUN459isYplN5qZpc69bnLW6fgltlLVR4KTs6sC0LqI9fi4EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35rxj7j60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVJVKG/e6UjUZRZCi4nOiY7/p7Frx7GGCuC4HcGU2ZerhdXGECR7Bz8Uo3wsQPzreln0W+WMJulHvgPRT2+4vIzG1fTgyAdOmth/Q== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@askra.de; spf=None smtp.mailfrom=hendrik@askra.de; spf=None smtp.helo=postmaster@mailout1.sysproserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@askra.de) identity=pra; client-ip=78.138.95.114; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@askra.de"; x-sender="hendrik@askra.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@askra.de) identity=mailfrom; client-ip=78.138.95.114; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@askra.de"; x-sender="hendrik@askra.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailout1.sysproserver.de) identity=helo; client-ip=78.138.95.114; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@askra.de"; x-sender="postmaster@mailout1.sysproserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B7AgAmwpJWnHJfik5egw99iUajdAGNSYQHGAaCQYRFPBABAQEBAQEBARABAQEBAQgLCQkhLkESAYFZg0M0AYkPAwGfG596kAVzghYMQYE2BZcThUOIFmCBSIZ8hVcCjlE5gXUBCwFPgWWFKASBSwEBAQ X-IPAS-Result: A0B7AgAmwpJWnHJfik5egw99iUajdAGNSYQHGAaCQYRFPBABAQEBAQEBARABAQEBAQgLCQkhLkESAYFZg0M0AYkPAwGfG596kAVzghYMQYE2BZcThUOIFmCBSIZ8hVcCjlE5gXUBCwFPgWWFKASBSwEBAQ X-IronPort-AV: E=Sophos;i="5.20,549,1444687200"; d="scan'208";a="159966401" Received: from mailout1.sysproserver.de ([78.138.95.114]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 10 Jan 2016 21:45:11 +0100 Received: from srv4.sysproserver.de (srv4.sysproserver.de [79.133.53.14]) by mailout1.sysproserver.de (Postfix) with ESMTPSA id 9B3F596166 for ; Sun, 10 Jan 2016 21:45:09 +0100 (CET) Received: from elite (ip5f5b6f4a.dynamic.kabel-deutschland.de [95.91.111.74]) by srv4.sysproserver.de (Postfix) with ESMTPSA id 31098C78016 for ; Sun, 10 Jan 2016 21:45:09 +0100 (CET) Received: from localhost ([::1] helo=elite.fireeye.com) by elite with esmtp (Exim 4.84) (envelope-from ) id 1aIMrM-0004Zc-4D for caml-list@inria.fr; Sun, 10 Jan 2016 21:45:08 +0100 From: Hendrik Tews To: caml-list@inria.fr Date: Sun, 10 Jan 2016 21:45:08 +0100 Message-ID: <87io31f9kb.fsf@elite.fireeye.com> MIME-Version: 1.0 Content-Type: text/plain X-Validation-by: hendrik.tews@fireeye.com Subject: [Caml-list] [ANNOUNCE] otags reloaded 4.02.1 for OCaml 4.02 Hi, I updated otags to OCaml 4.02. 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. The problem with open! is now fixed and otags processes files with module aliases, exception patterns and extensible variants. However, camlp4 and therefore also otags have only very limited support for attributes and extension nodes. Bye, Hendrik