> First, it seems that there's no more development activities going on.
> Is that the case ?

Yes (that is, Chinese/Korean/... "yes". English "no"), there is no
more development of mlgtk.  

> I prefer mlgtk to lablgtk since it is easier to use, easier to understand
> and generates more compact code(at least on AIX system).

I prefer it for these reasons too, but none of my current projects
needs a GUI, so it's difficult for me to keep finding time to
work on it.

> The other question is about reference counting.
> I looked at lablgtk source and saw that it implemented reference counting,
> but I cound not find any reference counting code in mlgtk.

That is because mlgtk is buggy, or at least because it only works
if used as intended.  I started to understand how gtk's reference
counting was supposed to work just before I started to have no
more time available available for mlgtk, so I never had time
to fix this "bug".

> If it is not, is it because the developers decided that it was not
> necessary or it just wasn't implemented ?

It's more the second one :) but everything will work fine if you
don't try to free any gtk objects (and even if you do, it's 
only a memory leak, you might never notice :) ).

Do you really need it, or are you asking just out of curiosity?
I could make an effort and implement it, if you need it (and
as Sven pointed out, the source is available :) ).

Pascal
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners