To: lwn@lwn.net
Subject: Caml week news
From: David Mentre <David.Mentre@inria.fr>
Date: 26 Mar 2001 15:19:56 +0200

Hi all LWN editors,

Here is latest news in the Caml world. BTW, if you have a prefered
presentation or if you need some specific information, let me know.


1. After the new release of Caml, a lot of new updates have been
   announced:

* Camlp4 3.01

  Camlp4 3.01 compatible with OCaml 3.01 has been released
      http://caml.inria.fr/camlp4/


* LablGL 0.95

  LablGL 0.95 is an OpenGL/Mesa interface for Objective Caml 3.01, with
  a good type discipline.  It is tightly integrated with LablTk to
  produce applications, but can also be combined with LablGTK.

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


* LablGTK 1.2.0

  LablGTK 1.2.0 for OCaml 3.01 / GTK+ 1.2.x was just released. It
  improves on the previous 1.00 release in many ways, but has also a
  number of incompatibilities, explaining the change in numbering.

  You can find it at
    http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html

  LablGTK interfaces almost all of GTK+ widgets, most of GDK (the
  underlying drawing kit), GtkXmHTML (from gnome), and provides support
  for LablGTK and Glade.



2. More over, some *new* softwares have been announced:

* Timbuk A Tree Automata Library

can be found here

http://www.irisa.fr/lande/genet/timbuk/ 


This library offers basic functions on Bottom-up Non-Deterministic
Tree Automata:
    
    - boolean operations: intersection, union, inversion, etc...
    - emptyness decision,
    - cleaning, renaming,
    - determinisation,	
    - parsing, pretty printing,
    - writing complete specifications or computed automata to disk
    - normalisation of transitions
    - and some more such as completion w.r.t. TRSs etc.


and can be used both for compiling ocaml programs with tree automata
functionnalities or at the top level of ocaml to interactively perform
boolean operations (etc) on tree automata.


* OCamlODBC (2.1)

  I'm pleased to announce the new release of OCamlODBC (2.1), an
  interface between OCaml and databases with ODBC support.  By now
  tested databases are :
  - MySQL under Linux,
  - Postgresql under Linux,
  - OpenIngres under Sun Solaris 2.5,
  - DB2 under Linux,



 3. Finally, here is an interesting project:

* Caml Development Kit

  http://pauillac.inria.fr/cdk/

  A few weeks ago, we started a project called "Caml Development Kit" or
  CDK, which would gather in one big tarball or RPM several tools and
  libraries, useful for Ocaml programming.

  For example, the CDK will include Ocaml, Camlp4, ledit, and many
  user-contributed libraries. A new CDK will be released at each Ocaml
  release (and probably more often from CVS sources), removing the need
  to update, compile and install many different packages everytime to
  have a coherent development envirronment.

  This project has been started by Fabrice Le Fessant and Sébastien
  Ailleret.


Best regards,
d.
-- 
 David.Mentre@inria.fr -- http://www.irisa.fr/prive/dmentre/
 Opinions expressed here are only mine.