OcaIDE stopped displaying documentation #27
Description
Yesterday I coded something. When I started typing List.rev, exactly after typing the dot, a drop down list of all functions exposed by the interface appeared, with the documentation of each method.
Today I get no drop down list for the module.