Hello, I've installed the new lablgtk2 package, and It appeared that the gtk*Props.cmi and ogtk*Props.cmi are laking. But it appeared that they might be useful (as the recent thread on the lablgtk mailing prove it).
By the way, the It could be also interesting to include the .ml and .mli that match. -- Rémi Vanicat [EMAIL PROTECTED]
