Hello, 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