Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: Redefinition doesn't work
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Markus Mottl <mottl@m...>
Subject: Re: Good programming languages (Was: Redefinition doesn't work)
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.

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

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

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

Best regards,
Markus Mottl

-- 
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl