From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 A0FC1BBAF for ; Fri, 19 Feb 2010 14:21:01 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhEBANQefkuE4zwCmWdsb2JhbACbBxUBAQEBAQgLCgcTI7xahGcE X-IronPort-AV: E=Sophos;i="4.49,503,1262559600"; d="scan'208";a="45112794" Received: from isis.lip6.fr ([132.227.60.2]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Feb 2010 14:21:01 +0100 Received: from tibre.lip6.fr (tibre.lip6.fr [132.227.74.2]) by isis.lip6.fr (8.14.3/lip6) with ESMTP id o1JDL0mk018614 for ; Fri, 19 Feb 2010 14:21:00 +0100 (CET) X-pt: isis.lip6.fr Received: from [IPv6:::1] (sphinx [132.227.74.253]) by tibre.lip6.fr (8.14.3/8.14.3) with ESMTP id o1JDL0nJ011975 for ; Fri, 19 Feb 2010 14:21:00 +0100 (MET) Message-Id: From: Alexandre Chapoutot To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v936) Subject: Re: Status of the OCaml Mathematical Framework Date: Fri, 19 Feb 2010 14:21:02 +0100 X-Mailer: Apple Mail (2.936) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.3 (isis.lip6.fr [132.227.60.2]); Fri, 19 Feb 2010 14:21:00 +0100 (CET) X-Scanned-By: MIMEDefang 2.63 on 132.227.60.2 X-Spam: no; 0.00; ocaml:01 developpment:01 frog:98 sourceforge:01 library:03 olivier:07 mathematical:08 haven't:09 framework:11 promising:12 ltd:87 lack:12 but:14 nevertheless:15 www:84 Dear Jon, We are sorry to report that due to a lack of time we are not able to pursue the developpment of this library. Nevertheless we still hope working on it again. Best regards Olivier Bouissou and Alexandre Chapoutot > This was a promising project from the Jane St Summer Projects 2007 > that > released a 0.1 but I haven't seen anything since: > > http://sourceforge.net/projects/ocaml-mf/ > > What is the current status of this project? Is anyone using it? > > -- > Dr Jon Harrop, Flying Frog Consultancy Ltd. > http://www.ffconsultancy.com/?e >