From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 01BB1BBAF for ; Tue, 21 Oct 2008 14:17:09 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhUDAFdl/UjAXQImgWdsb2JhbACTbwEBFiKxBoNQgyc X-IronPort-AV: E=Sophos;i="4.33,457,1220220000"; d="scan'208";a="30575213" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 21 Oct 2008 14:17:09 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9LCH8CX019597 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 21 Oct 2008 14:17:09 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAJNl/UjZbprC/2dsb2JhbADFMINQgyc X-IronPort-AV: E=Sophos;i="4.33,457,1220220000"; d="scan'208";a="16318792" Received: from grisu.bik-gmbh.de ([217.110.154.194]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 21 Oct 2008 14:17:06 +0200 Received: from [192.168.125.196] (ip196.bik-gmbh.de [192.168.125.196]) by grisu.bik-gmbh.de (8.14.2/8.14.2) with ESMTP id m9LCGgTp074336; Tue, 21 Oct 2008 14:16:43 +0200 (CEST) (envelope-from hars@bik-gmbh.de) Message-ID: <48FDC82A.3030709@bik-gmbh.de> Date: Tue, 21 Oct 2008 14:16:42 +0200 From: Florian Hars User-Agent: Thunderbird 2.0.0.17 (X11/20080925) MIME-Version: 1.0 To: Robert Morelli Cc: Thomas Gazagnaire , caml-list@inria.fr Subject: tags (Was: [Caml-list] What does Jane Street use/want for an IDE? What about you?) References: <200810200919.41561.ober.14@osu.edu> <20081020133711.GP14123@janestcapital.com> <9722eaea0810200705x50c51160p91f740a806f7ab15@mail.gmail.com> <48FCA79E.7090607@flux.utah.edu> In-Reply-To: <48FCA79E.7090607@flux.utah.edu> X-Enigmail-Version: 0.95.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 48FDC844.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; hars:01 hars:01 bik-gmbh:01 morelli:01 emacs:01 emacs:01 otags:01 ocamltags:01 caml-list:01 caml:02 florian:03 florian:03 missing:07 schrieb:08 3.09:08 Robert Morelli schrieb: > The emacs tags system didn't work for you? There is no way to produce tags files for emacs that does actually work, no? exuberant-ctags doesn't support caml, otags is still on 3.09 and ocamltags doesn't understand files in directories... Am I missing something? - Florian.