English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
GODI Search
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-04-23 (08:39)
From: Berke Durak <berke.durak@g...>
Subject: Re: [Caml-list] GODI Search

That's very nice work, Gerd.  Thanks.

Just one improvement:  when I search for List.map, I get the cmi_pretty and
the mli.  The mli should come
first IMHO, and when I click on the link, it should directly jump to the
definition of List.map which contains
the Ocamldoc as a comment.

The next step would be to parse the Ocamldoc and pretty-print it but it's
quite usable as it is now.
Berke Durak