Browse thread
The OCaml Community (aka back from the Developer Days)
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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