From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA14905 for caml-red; Thu, 9 Nov 2000 19:09:15 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA31610 for <caml-list@pauillac.inria.fr>; Thu, 9 Nov 2000 17:22:12 +0100 (MET)
Received: from orzan.fi.udc.es (orzan.fi.udc.es [193.144.60.19])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eA9GMBH02639
	for <caml-list@inria.fr>; Thu, 9 Nov 2000 17:22:11 +0100 (MET)
Received: from serpe.mitica (mail@vexeta.dc.fi.udc.es [193.144.51.32])
	by orzan.fi.udc.es (8.9.3/8.9.1) with ESMTP id RAA02938;
	Thu, 9 Nov 2000 17:20:47 +0100 (MET)
Received: from quintela by serpe.mitica with local (Exim 3.16 #1 (Debian))
	id 13tuRS-0002FI-00; Thu, 09 Nov 2000 17:20:46 +0100
To: Markus Mottl <mottl@miss.wu-wien.ac.at>
Cc: bcpierce@cis.upenn.edu, Mattias Waldau <mattias.waldau@abc.se>,
        caml-list@inria.fr
Subject: Re: Good programming languages (Was: Redefinition doesn't work)
References: <mattias.waldau@abc.se>
	<2758.973265227@silvercomet.emperorlinux.com>
	<20001108194241.C14993@miss.wu-wien.ac.at>
X-Url: http://carpanta.dc.fi.udc.es/~quintela
From: "Juan J. Quintela" <quintela@fi.udc.es>
In-Reply-To: Markus Mottl's message of "Wed, 8 Nov 2000 19:42:41 +0100"
Date: 09 Nov 2000 17:20:46 +0100
Message-ID: <yttvgtxt8v5.fsf@serpe.mitica>
User-Agent: Gnus/5.0807 (Gnus v5.8.7) Emacs/20.7
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: weis@pauillac.inria.fr

>>>>> "markus" == Markus Mottl <mottl@miss.wu-wien.ac.at> writes:

markus> On Fri, 03 Nov 2000, bcpierce@cis.upenn.edu wrote:
>> I find that Emacs is an excellent tool for searching for functions in
>> the OCaml library.  The developers have helpfully provided a pure-ascii
>> version of the documentation, and a couple of incremental searches
>> usually gets me to what I want in a few second.

markus> VIM-users might want to put the following function definition into their
markus> .bashrc-file:

markus>   function ocdoc () { command vim -R $OCAMLLIBPATH/$1; }

markus> where $OCAMLLIBPATH is set to the location of the library directory. A
markus> simple e.g. "ocdoc list.mli" (or also "ocdoc list.ml") on the command
markus> line will display the nicely highlighted code in a shell window (starting
markus> up Emacs in a similar way is just too slow :-)

Have you ever heard of emacsclient????

/me hides under the _holy_ war emacs/vi.

Later, Juan.

-- 
In theory, practice and theory are the same, but in practice they 
are different -- Larry McVoy