From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 65C7E7FACB for ; Wed, 3 Sep 2014 09:28:16 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of denis.berthod@gmail.com) identity=pra; client-ip=209.85.212.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="denis.berthod@gmail.com"; x-sender="denis.berthod@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of denis.berthod@gmail.com designates 209.85.212.171 as permitted sender) identity=mailfrom; client-ip=209.85.212.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="denis.berthod@gmail.com"; x-sender="denis.berthod@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f171.google.com) identity=helo; client-ip=209.85.212.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="denis.berthod@gmail.com"; x-sender="postmaster@mail-wi0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am8FAFXCBlTRVdSrm2dsb2JhbABahDeCfLQChAAElQsBgQ0WEAEBAQEBBgsLCRQphAQBAQQSERUIARscAgMMBgULDwIFFgsCAgkDAgECARERAQUBHBMIAQEeiAsBAxEEAZtFa4srgXKDEIoSChknDWaFKgERAQUOgR6LAoMmFoJjgVMBBJIyiiqHN4RtBIcEQYNMgUhqgk8BAQE X-IPAS-Result: Am8FAFXCBlTRVdSrm2dsb2JhbABahDeCfLQChAAElQsBgQ0WEAEBAQEBBgsLCRQphAQBAQQSERUIARscAgMMBgULDwIFFgsCAgkDAgECARERAQUBHBMIAQEeiAsBAxEEAZtFa4srgXKDEIoSChknDWaFKgERAQUOgR6LAoMmFoJjgVMBBJIyiiqHN4RtBIcEQYNMgUhqgk8BAQE X-IronPort-AV: E=Sophos;i="5.04,455,1406584800"; d="scan'208";a="77560656" Received: from mail-wi0-f171.google.com ([209.85.212.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Sep 2014 09:28:15 +0200 Received: by mail-wi0-f171.google.com with SMTP id hi2so313981wib.4 for ; Wed, 03 Sep 2014 00:28:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=EefXSSRmQezshUI2hkefMJG7BjIRSx656zCSzUq9BQs=; b=UQ+recuoY2D0IWwcG/SXnIWm9YSyPlejCuGFjRqvdIMLQrY2HnPdoDEhZzkiVyHfhU vcA4lDLWHqq/rfztgkuSPVbgSZpM9sFUBwUaZFwlMY2DufK3V/ss+Owt+KzyalBi9c3k Vm0J28o1EVxLHb9YF0m5yrKkVMuik9D7A5WwrQHIR/8nA6iiXckYniAmR2tLJki6XxY/ GLWs+ny2Suze2BwPJr2PtcAN65P+as5ww/LoeIgab394vWDka6PjmfJbi+kcCczrTTFO XkXNNsM91E48nvZUO9jGLuLny08ZJxkTH0M1VTfmm/p0KE1Ijh9WcOPo6ztvjbTdN2Ca l/CA== X-Received: by 10.194.191.165 with SMTP id gz5mr44219200wjc.16.1409729295469; Wed, 03 Sep 2014 00:28:15 -0700 (PDT) Received: from [192.168.1.183] (APuteaux-553-1-94-239.w92-151.abo.wanadoo.fr. [92.151.101.239]) by mx.google.com with ESMTPSA id js2sm14232945wjc.9.2014.09.03.00.28.14 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 03 Sep 2014 00:28:14 -0700 (PDT) Message-ID: <5406C319.5080408@gmail.com> Date: Wed, 03 Sep 2014 09:28:25 +0200 From: Denis Berthod User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] How to use emacs tuareg mode effectively to manage an OCaml project? Hi, I daily use emacs with dozens of buffers. I use the Iswitchb emacs mode. This mode is included into emacs but may be not on by default. To enable it add '(iswitchb-mode t nil (iswitchb)) to your custom-set-variables in your .emacs file or use the customization group gui : convenience > Iswitchb. CTRL-x b displays the list of buffers in the mini-buffer (sorted by the last access time). CTRL-s to select next buffer CTRL-r to select previous buffer Type a string to reduce the buffer list, typically 2 or 3 char are sufficient. I find it much fast to navigate than tabs or menus. Regards, Denis Berthod