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.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 7F19ABB84 for ; Tue, 17 Feb 2009 20:16:58 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsDADicmkmDrhCRgWdsb2JhbACUSQEBFiK/DIQTBg X-IronPort-AV: E=Sophos;i="4.38,224,1233529200"; d="scan'208";a="23101921" Received: from smeltpunt.science.ru.nl ([131.174.16.145]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Feb 2009 20:16:58 +0100 Received: from tandem.cs.ru.nl (tandem.cs.ru.nl [131.174.142.18]) by smeltpunt.science.ru.nl (8.13.7/5.28) with ESMTP id n1HJGuEP004558 for ; Tue, 17 Feb 2009 20:16:56 +0100 (MET) Received: from tews by tandem.cs.ru.nl with local (Exim 4.63) (envelope-from ) id 1LZVRA-0001sb-Px for caml-list@inria.fr; Tue, 17 Feb 2009 20:16:56 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <18843.3368.783449.640067@tandem.cs.ru.nl> Date: Tue, 17 Feb 2009 20:16:56 +0100 To: caml-list@inria.fr Subject: otags discontinued X-Mailer: VM 7.19 under Emacs 21.4.1 From: Hendrik Tews X-Scanned-By: MIMEDefang 2.63 on 131.174.16.145 X-Spam: no; 0.00; otags:01 hendrik:01 tews:01 tews:01 reimplement:01 otags:01 camlp:01 ocaml:01 ocaml:01 cvs:01 hendrik:01 discontinued:98 2.0:98 proofs:01 repository:03 Dear all, I always had plans to reimplement Otags on the basis of the new Camlp4. But I am now busy with implementing zero-knowledge proofs on Java Card [1] and lost the contact to the Ocaml community over the last year (it is a real pity that there are no Ocaml smart cards). I would still like to maintain Otags, but I will not find any time for it in the foreseeable future. ;-( If somebody want to take over, I am happy to give out the cvs repository. Bye, Hendrik PS. Please CC me on replies. I am still on the list, but there are more than 2000 unread messages in the folder. [1] https://ovchip.cs.ru.nl/OV-chip_2.0_progress