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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id B7B2B7ED67 for ; Tue, 14 Aug 2012 20:08:39 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of forum@x9c.fr) identity=pra; client-ip=87.98.184.159; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="forum@x9c.fr"; x-sender="forum@x9c.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of forum@x9c.fr designates 87.98.184.159 as permitted sender) identity=mailfrom; client-ip=87.98.184.159; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="forum@x9c.fr"; x-sender="forum@x9c.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mo6.mail-out.ovh.net) identity=helo; client-ip=87.98.184.159; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="forum@x9c.fr"; x-sender="postmaster@mo6.mail-out.ovh.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjUBADOTKlBXYrifmWdsb2JhbABFhTq1BAEBAQEBCAsLBxQngyCJYrknjhqDHAOVSgGBFAiRVQ X-IronPort-AV: E=Sophos;i="4.77,768,1336341600"; d="scan'208";a="153075147" Received: from 4.mo6.mail-out.ovh.net (HELO mo6.mail-out.ovh.net) ([87.98.184.159]) by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Aug 2012 20:08:39 +0200 Received: from mail391.ha.ovh.net (b7.ovh.net [213.186.33.57]) by mo6.mail-out.ovh.net (Postfix) with SMTP id C39CFFF81EC for ; Tue, 14 Aug 2012 20:14:00 +0200 (CEST) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 14 Aug 2012 18:08:39 -0000 Received: from ns0.ovh.net (HELO localhost) (213.186.33.20) by ns0.ovh.net with SMTP; 14 Aug 2012 18:08:39 -0000 Received: from ip-131.net-82-216-20.versailles2.rev.numericable.fr (ip-131.net-82-216-20.versailles2.rev.numericable.fr [82.216.20.131]) by ssl0.ovh.net (Horde Framework) with HTTP; Tue, 14 Aug 2012 20:08:39 +0200 Message-ID: <20120814200839.615713p46vj76uqo@ssl0.ovh.net> Date: Tue, 14 Aug 2012 20:08:39 +0200 From: forum@x9c.fr To: caml-list@inria.fr Cc: forum@x9c.fr X-Ovh-Mailout: 178.32.228.6 (mo6.mail-out.ovh.net) MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes"; format="flowed" Content-Disposition: inline Content-Transfer-Encoding: quoted-printable User-Agent: Internet Messaging Program (IMP) H3 (4.3.5) X-Ovh-Tracer-Id: 10675501443826647840 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeehtddrtdegucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecunecuhfhrohhmpehfohhruhhmseiglegtrdhfrhenucffohhmrghinhepgieltgdrfhhrnecujfgurhephffvufggtggugfgfsehtqhdttddtredu Subject: [Caml-list] [ANN] Bolt 1.3 release Dear list, This post announces the 1.3 release of the Bolt project, whose goal is=20= =20 to provide a comprehensive yet flexible logging framework for the OCaml language. Home page: http://bolt.x9c.fr Main changes since 1.2: - enhanced support for Daikon - enhanced support for Paj=E9 - removed dependency upon 'Str' library - API change: logger names now have type 'Name.t' rather than 'string' - new configuration format (through 'BOLT_CONFIG' environment variable), old format still available (through 'BOLT_FILE' environment variable) - loggers are now stored in a tree, for better performances - update for OCaml 4.00.0 Xavier Clerc