On Mon, Oct 13, 2003 at 12:27:34PM +0200, Remi Vanicat wrote: > 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. Ok, i will look into this. Friendly, Sven Luther