From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA23983 for caml-red; Thu, 31 Aug 2000 20:46:50 +0200 (MET DST) 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 OAA18064 for ; Thu, 31 Aug 2000 14:27:03 +0200 (MET DST) Received: from moutvdom00.kundenserver.de (moutvdom00.kundenserver.de [195.20.224.149]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e7VCR3912959 for ; Thu, 31 Aug 2000 14:27:03 +0200 (MET DST) Received: from [195.20.224.204] (helo=mrvdom00.kundenserver.de) by moutvdom00.kundenserver.de with esmtp (Exim 2.12 #2) id 13UTQs-0007ST-00 for caml-list@inria.fr; Thu, 31 Aug 2000 14:27:02 +0200 Received: from p3e9c37b0.dip0.t-ipconnect.de ([62.156.55.176] helo=ice.gerd-stolpmann.de) by mrvdom00.kundenserver.de with esmtp (Exim 2.12 #2) id 13UTQl-0004vI-00 for caml-list@inria.fr; Thu, 31 Aug 2000 14:26:56 +0200 Received: from localhost (localhost [[UNIX: localhost]]) by ice.gerd-stolpmann.de (8.9.3/8.9.3) id OAA25667 for caml-list@inria.fr; Thu, 31 Aug 2000 14:26:52 +0200 From: Gerd Stolpmann Reply-To: gerd@gerd-stolpmann.de Organization: privat To: caml-list@inria.fr Subject: PXP-1.0 Date: Thu, 31 Aug 2000 14:16:45 +0200 X-Mailer: KMail [version 1.0.28] Content-Type: text/plain MIME-Version: 1.0 Message-Id: <0008311426510B.25537@ice> Content-Transfer-Encoding: 8bit Sender: weis@pauillac.inria.fr Hello Camlers, finally I have found the time to release my XML parser for O'Caml, PXP. You can find documentation and source code on my O'Caml homepage, especially on http://www.ocaml-programming.de/programming/pxp.html Several people have helped me writing the parser, dicussing various topics and fixing bugs: Thanks to Claudio Sacerdoti Coen for his Unicode to UTF-8 converter, and also Alain Frisch and Haruo Hosoya for their remarks. I hope this is a funny toy, Gerd -- ---------------------------------------------------------------------------- Gerd Stolpmann Telefon: +49 6151 997705 (privat) Viktoriastr. 100 64293 Darmstadt EMail: gerd@gerd-stolpmann.de Germany ----------------------------------------------------------------------------