GODI Search: Includes now sources

GODI Search: Includes now sources

[Gerd Stolpmann]

Hi list,

I've just deployed another extension of GODI Search. The corpus now also
includes the sources the GODI packages are built from, and not only the
installed files ("binaries"). This is especially useful if the installed
documentation is not complete enough, or to check the details of the
implementation.

The search is available at http://docs.camlcity.org.

It is also possible to browse the sources. As a special feature, it is
tried to aggregate binary and source modules into a single view.

For example, here is the view on the installed Png modules of
camlimages:

http://docs.camlcity.org/docs/godipkg/3.10/godi-camlimages/lib/ocaml/pkg-lib/camlimages/png.mli

Just click on the "Sources" tab to see possible source files this module
could be built from (GODI Search doesn't track that, so we can only
guess). Usually, the source files are now only two clicks away from the
binary files.

This release also includes numerous smaller fixes. Especially, the AJAX
feature works now for older Internet Explorers (man, this was a fight).

Hope you like it.

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany 
gerd@gerd-stolpmann.de          http://www.gerd-stolpmann.de
Phone: +49-6151-153855                  Fax: +49-6151-997714
------------------------------------------------------------