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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 42E9CBC69 for ; Tue, 25 Sep 2007 17:16:02 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAA/D+EbRVZK0kmdsb2JhbACOLAEBAQEHBAQRFg X-IronPort-AV: E=Sophos;i="4.20,296,1186351200"; d="scan'208";a="16760674" Received: from wa-out-1112.google.com ([209.85.146.180]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Sep 2007 17:16:01 +0200 Received: by wa-out-1112.google.com with SMTP id k17so2474134waf for ; Tue, 25 Sep 2007 08:16:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=YNNdtPCYoEh1vOnoNL4TeYNyuV0tveZEMwl+l3cvmWc=; b=DTkLgCTJGvLBfe8JveSWnn/0k0p6gyAFQu4QbjelLq09hW+SgUqSEBATGKHvZsXS1htvCu4mU4E/ZcpnocxTgITknIJC2Vl8dg08G8aRa1kW+hBqzmT39kMPPYfmWrXJwgkl4HWOfsuRkOjBA6QwouFKWtm25ZKi2132yt/11c4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=tg0qTKAo5RsEU3YzSRbUBH3DSEWmlL2KXL4xxf/7nLmc5nibcfvNz1auwH4kza8sbSamgW2tGgeCtNF6jnCvboWSgQTYs9Yd3trsPDZKb6BM6uIe0bkxU9ld5MGauZwmzD3cqOhOhzXiY3V9TtYFr6+Zc7OVoG9JylFsVpDbydg= Received: by 10.114.160.1 with SMTP id i1mr2518726wae.1190733359975; Tue, 25 Sep 2007 08:15:59 -0700 (PDT) Received: by 10.114.203.16 with HTTP; Tue, 25 Sep 2007 08:15:59 -0700 (PDT) Message-ID: <875c7e070709250815i6bad719fm427469eeffe1183b@mail.gmail.com> Date: Tue, 25 Sep 2007 11:15:59 -0400 From: "Chris King" To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] is there any computer algebraic systems library inocaml? In-Reply-To: <1190717322.5901.5.camel@mikhaa> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20070831100003.6C5ABBC74@yquem.inria.fr> <46D7F288.5030909@dur.ac.uk> <6120f6690708310405n4f9fc37dy1711208d2e76903e@mail.gmail.com> <1190717322.5901.5.camel@mikhaa> X-Spam: no; 0.00; tarballs:01 2007.:98 wrote:01 slides:01 caml-list:01 algebraic:03 alex:03 library:03 chris:06 chris:06 meant:06 olivier:07 release:09 systems:12 create:12 Whoops, meant to reply to all... On 9/25/07, Mikhalev, Alex wrote: > Is any plan to release OSP2007 summer projects as a proper bundle with > installation and usage instructions? Jane St. sent us (the OSP participants) an e-mail recently asking us to create tarballs with documentation to be hosted on http://osp2007.janestcapital.com/, so you can expect to see things appear there within the next month. Olivier and Alexandre will have to answer your second question, but the slides from their talk available on that page give a good overview of what they had accomplished as of a month ago. - Chris