New lablgtk2 snapshot 20100626

Dear Lablgtk users,

Due to the correction of a very old bug in ocaml 3.12,
released versions of lablgtk2 do not compile anymore.
This snapshot fixes the problem, and some minor others.

You can find it at:

  http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html

Here are the changes since 2.14.1:

2010.06.25 [Jacques]
  * remove gtkInit.cmo from gdk_pixbuf_mlsource, no need to
    initialize Gtk as Gobject is sufficient 
  * protect GtkThread callbacks against exceptions, and provide a
    function to process messages inside a different main loop.
  * add -nothinit option to lablgtk2, since Quartz cannot run the main
    loop in a different thread (one should just call GtkThread.main).
    See dialog-thread.ml for an example.

2010.06.08 [Jacques]
  * correct interfaces due to the fixing of an unsoundness bug in ocaml 3.12
    (cf. http://caml.inria.fr/mantis/view.php?id=4824) 

---------------------------------------------------------------------------
Jacques Garrigue      Nagoya University     garrigue at math.nagoya-u.ac.jp
		   <A HREF=http://www.math.nagoya-u.ac.jp/~garrigue/>JG</A>