From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id D4049BBAF for ; Wed, 3 Feb 2010 16:17:41 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjYCALMiaUtDww+LkWdsb2JhbACRLnmIDoEMAQEBAQkLCgcTA61igUmFOYhvAQQEAYRABA X-IronPort-AV: E=Sophos;i="4.49,399,1262559600"; d="scan'208";a="50988630" Received: from web111502.mail.gq1.yahoo.com ([67.195.15.139]) by mail1-smtp-roc.national.inria.fr with SMTP; 03 Feb 2010 16:17:40 +0100 Received: (qmail 397 invoked by uid 60001); 3 Feb 2010 15:17:39 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1265210259; bh=OjpPHEEFtXnbRomw9i09kj2F63b1yyWQHL5A459i9x4=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=wk0NNGdeFf24YDdavJrueq3Ra8JBUFfH7ig/C8ECy7/q6p6azM/4tw53Kfsgl5Dn1MNMcwVa594N3qFEsE3PIyimVXTaZFhIWWp+CvBfvBlkjDOQeFq3y0mKGJNut1zR3/yKKNfxr/VFgTyOWZgwa1fhHCbJRUJ8ZeIdmQlML/Q= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=bbHoI0MU72Tif8Q2xpv3QEGQzKlqPOVpstGJqdqxfSA7vFKb2NEwD9WBWwTityCSYK3wonp3Caz67gHSyx5vSvdJfcwt3Yy86oVgtpNdiglQNn5/WgHP/wVLwUsLg/3JbBLh0ieGwDHwXaZ6AWy7Rihqn0y67JwLdqmmfAQjXU0=; Message-ID: <833753.99946.qm@web111502.mail.gq1.yahoo.com> X-YMail-OSG: RVZ4iSoVM1n1sL0CK4zBO7DVjLPr0VKHQpJAkQ530_dHdMoPc._cM8ZlyhRVKvq3iSF4NTqPre_FCrnnDbsasEhGvbFWsmcnZrjX.sB9qfEvsCcnlH1DVFZ1goW08h17RkkKN_GvWegLtWBvC2vNnRD3.xn6xsomphECueY.MjwW7_XQWq0aW24XBgLJX5JaeEgXqmVAX2zG1IPJ.QlScSAkAawZpPtq5ro6wOsZveZ00OeYvYF0M1XdmSIblYqMS6eGS275Bskkzf7xKNMkW80rDzJtq85kwLmJYA6wA17i7Idt_w_PpRZBF47DRu2AHPz3v_8.aGz0c16Z3kEIQWEsmeCjcQCOM4JcWsdw8.gBm7UmW01Cl7X3.6B0CGMg2o3eUOMONiOhtVXzi7ZpgzXsCLR0zx6BbhjkbU6S8oLmUYZMuebxWng6oMm3DTv_LA96N5Lx1uJWniM1RRpLyVfXs7OoKun.4QoQAitBb_gO6ert1.kwi7y0htvSbcqUG1k56mSEYy7rjO_X8r0Zq4cyX_BWJnmqtCHqIJ5IRr7RiNkd19YgsjRRWpQzCxApzHamoTYFztjrZP6Inlpo6iV6vM_GXWMzVxjg3GLfWytD1ETXwplDAOBTcsWShjytuJtZWh8.Hv.Kim9wt8IbfHp7qTUKvYmAqJpw.bwyaA-- Received: from [213.205.71.53] by web111502.mail.gq1.yahoo.com via HTTP; Wed, 03 Feb 2010 07:17:39 PST X-Mailer: YahooMailClassic/9.1.10 YahooMailWebService/0.8.100.260964 Date: Wed, 3 Feb 2010 07:17:39 -0800 (PST) From: Dario Teixeira Subject: [ANN] Blahcaml 2.0 and Camlhighlight 1.0 To: caml-list@inria.fr, ocsigen@sympa.mancoosi.univ-paris-diderot.fr MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; bindings:01 source-code:01 interfacing:01 ocaml:01 gerd:01 stolpmann:01 pxp:01 pxp:01 ocaml:01 2.0:98 1.0:98 2.0:98 1.0:98 homepages:98 gpl:01 Dear list,=0A=0ABlahcaml and Camlhighlight are both libraries aimed at appl= ications developed=0Awithin the Ocsigen framework.=0A=0ABlahcaml offers par= tial bindings to the C++ library Blahtex [1]. To be=0Aprecise, only the po= rtions of Blahtex that convert between equations in TeX=0Aformat into their= MathML counterparts are supported. Furthermore, Blahcaml=0Aindulges the p= aranoid by adding an extra layer of security that ensures the=0Aresult prod= uced by Blahtex is safe for inclusion in web pages. This is done=0Aby vali= dating the result against the official MathML2 DTD. Version 2.0 of=0ABlahc= aml brings slight changes to the API, a migration to the latest version=0Ao= f Blahtex, and a new module offering direct access to the MathML2 DTD.=0A= =0ACamlhighlight offers facilities for syntax-highlighting source-code in m= ost=0Apopular languages. The resulting highlight can be output as an XHTML= .M value,=0Aready for inclusion in web applications that use the Ocsigen fr= amework.=0APresently, Camlhighlight does its work by interfacing with the C= ++ library=0AHighlight [2]. Version 1.0 is the first public stable release= .=0A=0ABoth projects are licensed under the GPL v2. Their homepages at the= Ocaml=0AForge include downloading and building instructions, and allow you= to browse=0Athe APIs online:=0A=0Ahttp://blahcaml.forge.ocamlcore.org/=0Ah= ttp://camlhighlight.forge.ocamlcore.org/=0A=0ABest regards,=0ADario Teixeir= a=0A=0A=0AAcknowledgements:=0A=0A - The Ocsigen team, obviously, for all th= eir work on Ocsigen.=0A - Gerd Stolpmann for his assistance with some of th= e tricky aspects of PXP.=0A (PXP being the only Ocaml XML-handling librar= y I found that could handle=0A the entire MathML2 DTD).=0A - Gilles Van A= ssche and Andr=E9 Simon for Blahtex and Highlight, respectively.=0A - Ocaml= core for hosting the projects.=0A=0AReferences:=0A=0A[1] http://gva.noekeon= .org/blahtexml/=0A[2] http://www.andre-simon.de/doku/highlight/en/highlight= .html=0A=0A=0A=0A