From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id AC024BBB7 for ; Thu, 18 Sep 2008 16:26:41 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkoBAJwB0kjOvjGsmWdsb2JhbACTDgEBAQEBCAUGCREDpkwDhAU X-IronPort-AV: E=Sophos;i="4.32,422,1217800800"; d="scan'208";a="29334237" Received: from web54602.mail.re2.yahoo.com ([206.190.49.172]) by mail4-smtp-sop.national.inria.fr with SMTP; 18 Sep 2008 16:26:41 +0200 Received: (qmail 31697 invoked by uid 60001); 18 Sep 2008 14:26:40 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; b=rcGOd9NldZOJR9foZ9z4iZj3E1mu8NNUhtHVLLme8ZydR4EKUW44FdWqdaDFMkgh9h013v5fiU+A88vjR1ZVZ7VPuRN5VIISc0VzVIKFDJu/9V46Jm6KbyfC7oLaIDnmZFyvGu+sVYv/sQotQsJxaRELKJ9YftjEhh1kguNLnYw=; X-YMail-OSG: RPr5RcAVM1kguIoP1qLV_X8o7j9WLgnXE4hmN0NZ.7Mn1IeJweKQ5DTpRjtprotDAX6fxWHtH4E6Epy66Zi06eYdcgBWcJYEr2AJF0YyhLbtLXNw6cViyZWQRmhq1KVn21n8D6cM5mqnvS74C3F3jAt6.8i3zRk- Received: from [213.205.69.150] by web54602.mail.re2.yahoo.com via HTTP; Thu, 18 Sep 2008 07:26:39 PDT X-Mailer: YahooMailWebService/0.7.218.2 Date: Thu, 18 Sep 2008 07:26:39 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] XML library for validating MathML To: caml-list@yquem.inria.fr In-Reply-To: <103293.54569.qm@web54606.mail.re2.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-ID: <38632.29890.qm@web54602.mail.re2.yahoo.com> X-Spam: no; 0.00; conceptually:01 saner:01 pxp:01 gerd:01 pxp:01 caml-list:01 tex:01 data:02 string:02 btw:03 bugs:03 library:03 library:03 expressions:04 perhaps:05 Hi, First of all, thanks to all for your input -- it was much appreciated. I second many people's opinion that XML -- though conceptually a good and well-intentioned idea --- has devolved into a festering plague whose tentac= les have unfortunately spread all around the IT landscape. I'm finding that th= e lispy alternative offered by Sexplib is much saner for most serialisation and data exchange purposes, and that if you need human-readability than a format like JSON is much friendlier. Unfortunately, I have to deal with MathML because I am building a web application (with Ocsigen) that allows users to enter mathematical expressi= ons in either TeX or MathML format. To prevent cross-site scripting attacks, I need to make sure the MathML provided by the user is valid and does not contain any "funny stuff". As for Xml-light, thanks for confirming that the problem I was having is most likely do bugs in the library itself. I was hoping Xml-light would be able to do the job because it's a library you can grok and start using righ= t away, whereas PXP will require a more significant investment of time. Btw, Gerd, the problem I have is fairly boilerplate: "here's a DTD and here's a string with an XML document -- is the document valid according to the DTD?"= , perhaps you can add it as an example to the documentation? Well, off to read the PXP manual! Thanks for your time, Dario Teixeira =0A=0A=0A