From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id E58087EEBF for ; Sun, 28 Jun 2015 18:42:48 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of robert.muller2@gmail.com) identity=pra; client-ip=209.85.214.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="robert.muller2@gmail.com"; x-sender="robert.muller2@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of robert.muller2@gmail.com designates 209.85.214.182 as permitted sender) identity=mailfrom; client-ip=209.85.214.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="robert.muller2@gmail.com"; x-sender="robert.muller2@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f182.google.com) identity=helo; client-ip=209.85.214.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="robert.muller2@gmail.com"; x-sender="postmaster@mail-ob0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C4BABuI5BVm7bWVdFbhEQGsmuTOAdMAQEBAQEBEgEBAQEBBgsLCSEuQQWDUyIRHQEbHgMSCAECBTcCJAERAQUBFkGHdwEDEqhtgzE+MYs/gWuCeYpIChknDVeFQwEFDpBfglKBQwWUBItVlnESI4EVF4QlIjGCSAEBAQ X-IPAS-Result: A0C4BABuI5BVm7bWVdFbhEQGsmuTOAdMAQEBAQEBEgEBAQEBBgsLCSEuQQWDUyIRHQEbHgMSCAECBTcCJAERAQUBFkGHdwEDEqhtgzE+MYs/gWuCeYpIChknDVeFQwEFDpBfglKBQwWUBItVlnESI4EVF4QlIjGCSAEBAQ X-IronPort-AV: E=Sophos;i="5.13,694,1427752800"; d="scan'208";a="138162515" Received: from mail-ob0-f182.google.com ([209.85.214.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Jun 2015 18:42:48 +0200 Received: by obzt3 with SMTP id t3so808408obz.3 for ; Sun, 28 Jun 2015 09:42:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=zjQ+aGO1gG24VE2ARf4w+4e34rLJIk4Fehb+/Q0Lfjc=; b=bXakit9YkpQ2wYsgXxXa+ud5I4plh34J8eeW+GFXr/8064N5U8tq0auT8U7/aU8/HD wUeGF/QYLdoBb2GJju19vKA72zGXMxpJmMAq13d/ZfAit3OlaPK5anF57znICQS4S9OS anVia+wIJiw/yM6fz68y+rpgVVJrjalC0BvETQu30IJ+KPERKozoHV0ZJLq8LLFznKRE e9rY5LPYvB36EzVVy6xqYEt2yBtpLbKLKIR/cVGizIKXc9EmmwEiU53p6Rb4bZlzRetw MLFzz429mjOm0KvrW6N7W/sYEmLhKUq6PYJF3ASgwO8FZiu7fmO0yqjaKur0g4GaWZia 7FIg== MIME-Version: 1.0 X-Received: by 10.60.34.104 with SMTP id y8mr10506913oei.77.1435509766564; Sun, 28 Jun 2015 09:42:46 -0700 (PDT) Received: by 10.202.64.65 with HTTP; Sun, 28 Jun 2015 09:42:46 -0700 (PDT) Date: Sun, 28 Jun 2015 12:42:46 -0400 Message-ID: From: Robert Muller To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=089e013cc3d8b531f6051996a9d3 Subject: [Caml-list] syntax highlighting of ocaml code in html --089e013cc3d8b531f6051996a9d3 Content-Type: text/plain; charset=UTF-8 An opam search and googling a bit fails to turn up an obvious standard tool for publishing highlighted ocaml code in html. Is there a standard tool? caml2html?, highlight.js?, cow? thank you, Bob Muller --089e013cc3d8b531f6051996a9d3 Content-Type: text/html; charset=UTF-8
An opam search and googling a bit fails to turn up an obvious standard tool for publishing highlighted ocaml code in html. Is there a standard tool? caml2html?, highlight.js?, cow?
thank you,
Bob Muller
--089e013cc3d8b531f6051996a9d3--