From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id EBAA0BBAF for ; Tue, 5 Jan 2010 11:24:33 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au8DAIeiQkvRVdvikGdsb2JhbACCFoJxjD+JTT8BAQEBCQkMBxMDqWuBMoVihgcBAgMFhCsE X-IronPort-AV: E=Sophos;i="4.47,504,1257116400"; d="scan'208,217";a="40781173" Received: from mail-ew0-f226.google.com ([209.85.219.226]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Jan 2010 11:24:33 +0100 Received: by ewy26 with SMTP id 26so14052714ewy.3 for ; Tue, 05 Jan 2010 02:24:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:cc:message-id:from:to :in-reply-to:content-type:mime-version:subject:date:references :x-mailer; bh=VbnNPydiSJBtFM1aVi5HLsn94kqwMdbcrgtyBjP5Tbg=; b=Atyg1iFKmOoTHbBzSlcqu5Ekwtgr8i/QxaBFUskw8xgP99rKPgb7jOaofV7pGee4fA N+LSGjr2kQlPnZW0b7YkLvpCNij39ZPisuoa1HqnqEZ6ZfW93+dpjWJrLSdRjEmmtLoD xKLCbxvOjibuiPLj4aK4dbARzR4r7uLttD9fo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type:mime-version:subject :date:references:x-mailer; b=Vk5KVuVx91QplNeg1nzJMkMQ/gmKAgOuiP26XQcXaKyxAgs+LHsRoXzIZloVokSLR9 u9UZsSDNSkM4r84nftoPNluUYGUO/UnaWvb21wK7MusVIHt6jYRo5DcBzaBM62ZD4Bm4 0o0Bi5p4dpMwPZIsBehGr4XRS6BbJ1fQ/xGUA= Received: by 10.213.1.23 with SMTP id 23mr4631942ebd.71.1262687073154; Tue, 05 Jan 2010 02:24:33 -0800 (PST) Received: from ?192.168.0.11? (tui75-1-81-57-73-233.fbx.proxad.net [81.57.73.233]) by mx.google.com with ESMTPS id 7sm38855475eyg.1.2010.01.05.02.24.30 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 05 Jan 2010 02:24:30 -0800 (PST) Cc: caml-list@yquem.inria.fr Message-Id: <794E52F0-5F5F-4456-A092-61CA608F52B9@gmail.com> From: Vincent Aravantinos To: Grant Rettke In-Reply-To: <756daca51001042203w3c6a397cx6a5d594c28855a4d@mail.gmail.com> Content-Type: multipart/alternative; boundary=Apple-Mail-2-912027827 Mime-Version: 1.0 (Apple Message framework v936) Subject: Re: [Caml-list] Favorite OCaml editor? Date: Tue, 5 Jan 2010 11:24:29 +0100 References: <756daca51001042203w3c6a397cx6a5d594c28855a4d@mail.gmail.com> X-Mailer: Apple Mail (2.936) X-Spam: no; 0.00; ocaml:01 ocaml:01 daniel's:01 emacs:01 daniel's:01 emacs:01 caml-list:01 imag:02 imag:02 vim:05 vim:05 laboratory:06 laboratory:06 ecrit:06 ecrit:06 --Apple-Mail-2-912027827 Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Le 5 janv. 10 =E0 07:03, Grant Rettke a =E9crit : > What is your favorite editor for hacking with OCaml? > > "Your favorite" is key here here; I appreciate you human input as I > can use a search engine to find any old OCaml editor easily. Hi, I'm surprised no one mentions vim: You get 1,2,4,5,6 in Daniel's mail + all vim plugins and usual editing =20= and scripting facilities. 3 would easily be scriptable. Furthermore vim is probably among the lightweightest. You also have tags. All the above shall be true of emacs too. -- Vincent Aravantinos - PhD Student - Laboratory of Informatics of =20 Grenoble http://membres-lig.imag.fr/aravantinos/ --Apple-Mail-2-912027827 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Le 5 janv. 10 =E0 = 07:03, Grant Rettke a =E9crit :

What = is your favorite editor for hacking with OCaml?

"Your favorite" = is key here here; I appreciate you human input as I
can use a search = engine to find any old OCaml editor = easily.

Hi,

= I'm surprised no one mentions vim:
You get 1,2,4,5,6 in = Daniel's mail + all vim plugins and usual editing and scripting = facilities.
3 would easily be = scriptable.
Furthermore vim is probably among the = lightweightest.
You also have = tags.

All the above shall be true of emacs = too.
--
Vincent Aravantinos - PhD Student - = Laboratory of Informatics of Grenoble




= --Apple-Mail-2-912027827--