From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA19509; Tue, 8 Apr 2003 19:12:58 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA19416 for ; Tue, 8 Apr 2003 19:12:57 +0200 (MET DST) Received: from CS.UniBO.IT (leporello.cs.unibo.it [130.136.1.110]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h38HCtX28992 for ; Tue, 8 Apr 2003 19:12:56 +0200 (MET DST) Received: from marcello.cs.unibo.it (root@marcello.cs.unibo.it [130.136.2.29]) by CS.UniBO.IT (8.9.3/8.9.3/Debian 8.9.3-6) with ESMTP id TAA23230 for ; Tue, 8 Apr 2003 19:12:54 +0200 Received: (from sacerdot@localhost) by marcello.cs.unibo.it (8.9.3/8.9.3/Debian 8.9.3-21) id TAA27095 for caml-list@inria.fr; Tue, 8 Apr 2003 19:12:54 +0200 Date: Tue, 8 Apr 2003 19:12:54 +0200 From: Claudio Sacerdoti Coen To: caml-list@inria.fr Subject: [Caml-list] New releases of Gmetadom, gdome2-xslt and lablgtkmathview Message-ID: <20030408191254.A26968@cs.unibo.it> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i X-Operating-System: Debian GNU/Linux X-Organization: Department of computer science, University of Bologna, Eurpean Union X-Spam: no; 0.00; sacerdoti:01 coen:01 sacerdot:01 gmetadom:01 gdome:01 -xslt:01 implemented:01 type-safe:01 sourceforge:01 xslt:01 stylesheets:01 libxslt:01 helm:01 lablgtk:01 gtkmathview:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dear OCaml users, I am happy to announce the latest versions of the following libraries: * gmetadom 0.1.6: A binding to gdome2, the GNU DOM Level 2 implementation. The Core and Mutation Events modules are implemented and 100% compatible with the W3C Reccomendations. The binding is type-safe thanks to an extensive usage of the phantom types technique. URL: http://sourceforge.net/projects/gmetadom/ * gdome2-xslt 0.0.4-4: A C and OCaml library to apply XSLT stylesheets to gdome2 documents. This is a binding to libxslt, one of the fastest XSLT processors out there. You can apply your own stylesheets to any gdome2 document and obtain a brand new gdome2 documents. URL: http://helm.cs.unibo.it/software/gdome_xslt/ * lablgtkmathview 0.4.1: A lablgtk binding to GtkMathView, a Gtk widget to render MathML 2.0 documents. With this widget you get high quality rendering of mathematical formulae and very good interaction possibilites: the widget renders a gdome2 DOM tree and react to its modifications; you change the tree, and the rendering is changed accordingly on-the-fly. Changes: the binding is now in synch with the 0.4.1 version of GtkMathView, the first one with editing support. Enjoy! C.S.C. -- ---------------------------------------------------------------- Real name: Claudio Sacerdoti Coen PhD Student in Computer Science at University of Bologna E-mail: sacerdot@cs.unibo.it http://www.cs.unibo.it/~sacerdot ---------------------------------------------------------------- ------------------- 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