From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: caml-list@inria.fr
Subject: [Caml-list] Update on docs.camlcity.org
Date: Mon, 04 Feb 2013 16:10:51 +0100 [thread overview]
Message-ID: <1359990651.18230.0@samsung> (raw)
Hi list,
I've updated the code search engine on docs.camlcity.org. As before, it
mainly bases on GODI packages, but it now also includes many OASIS
packages.
The search engine allows to search for definitions and uses of
identifiers in OCaml source code. For example, "List.map" shows the
files with the definitions at the top position of the result list,
followed by the references of List.map.
You can also search for type names, e.g. "in_channel". Type expressions
are not yet supported (but I'm working on this).
The search engines is especially useful when you want to read and
understand code you've not written yourself, and that uses libraries
you don't know yet. It's also good when you want to find sample code
that uses a certain function.
Note that there is also a browsing mode. Also, the viewer for source
code allows it to click on identifiers triggering an ad-hoc search for
other occurrences.
Start page: docs.camlcity.org
Query syntax: docs.camlcity.org/docs/syntax.html
FAQ: docs.camlcity.org/docs/faq.html
Technically, this update uses a dedicated full-text search engine for
the first time. It's my own development Amber (not yet publicly
released). The main advantage is the speed - searches take only a few
milliseconds now, but it also improves scoring (based on inverted term
frequencies). More about Amber later.
Gerd
--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details: http://www.camlcity.org/contact.html
Company homepage: http://www.gerd-stolpmann.de
------------------------------------------------------------
next reply other threads:[~2013-02-04 15:10 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-02-04 15:10 Gerd Stolpmann [this message]
2013-02-05 3:50 ` Ivan Gotovchits
2013-02-05 10:08 ` AW: " Gerd Stolpmann
[not found] ` <20130205171000.GC16341@naxos>
2013-02-05 18:19 ` AW: " Gerd Stolpmann
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1359990651.18230.0@samsung \
--to=info@gerd-stolpmann.de \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).