LablGTK Beta 1 release

[Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>]

Three month since the first release of LablGTK, and here is a new one.

    LablGTK Beta 1: an object-oriented O'Labl interface to GTK

LablGTK's strengths are:
* strong typing down from the C interface
* real OO (?): widgets are created through new, and can be inherited
* possibility to use threads, even at toplevel
* O'Labl nice syntax

In particular it is possible to create, configure, and pack a widget
in the same line.
For instance here is the complete code for Hello World:

let window = new GWindow.window border_width: 10
let button = new GButton.button label:"Hello World" packing: window#add
let _ =
  button#connect#clicked callback:(fun () -> prerr_endline "Hello World");
  GMain.Main.main ()

LablGTK can be found at the following URLs:

    http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html
    ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/lablgtk-b1.tar.gz

------------------------------------------------------
Jacques Garrigue, visiting INRIA from Kyoto University
		          Jacques.Garrigue at inria.fr