Version française
Home     About     Download     Resources     Contact us    
Browse thread
The OCaml Community (aka back from the Developer Days)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Andrej Bauer <Andrej.Bauer@f...>
Subject: Re: [Caml-list] Re: The OCaml Community (aka back from the Developer Days)
Sylvain Le Gall wrote:
> I think this is the only really missing thing with GODI. 

That and somewhat saner key bindings (other than 'n' and 'p'), say, how 
about being able to search among the 100+ packages?

Please do not misunderstand me. I am quite happy with GODI. It makes my 
life much simpler. I stopped using Debian-based ocaml a long time ago in 
favor of GODI.

Andrej