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.9 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 71C96BBAF for ; Tue, 22 Jul 2008 17:22:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnwAAMeXhUiZYAE4mWdsb2JhbACSSgEBAQEBCAUGCREFnUk X-IronPort-AV: E=Sophos;i="4.31,231,1215381600"; d="scan'208";a="13355425" Received: from iron02.fraunhofer.de ([153.96.1.56]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Jul 2008 17:22:01 +0200 Received: from kso.iais.fraunhofer.de ([193.175.162.66]) by iron02.fraunhofer.de with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Jul 2008 17:22:00 +0200 Received: from ksi.iais.fraunhofer.de (ksi.iais.fraunhofer.de [129.26.64.2]) by kso.iais.fraunhofer.de (8.13.5+/8.13.5) with ESMTP id m6MFLxLj014804 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Tue, 22 Jul 2008 17:21:59 +0200 (CEST) X-Received: -iais.fraunhofer.de-routing from ksi.iais.fraunhofer.de (localhost [127.0.0.1]) by ksi.iais.fraunhofer.de (8.13.5+/8.13.5) with ESMTP id m6MFLsOt001549; Tue, 22 Jul 2008 17:21:54 +0200 (CEST) Received: from mbpaxel.ais.fraunhofer.de (mbpaxel.ais.fraunhofer.de [129.26.151.93]) by ksi.iais.fraunhofer.de (8.13.5+/8.13.5) with ESMTP id m6MFLs3V001546; Tue, 22 Jul 2008 17:21:54 +0200 (CEST) Cc: caml-list caml-list Message-Id: <7C53EDF3-B3E6-4B5E-B2EA-BC7F1E65ED17@iais.fraunhofer.de> From: =?ISO-8859-1?Q?Axel_Poign=E9?= To: Andrej.Bauer@andrej.com In-Reply-To: <4885F9F4.50001@andrej.com> Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v926) Subject: Re: [Caml-list] Disappointment Date: Tue, 22 Jul 2008 17:21:53 +0200 References: <4b5157c30807211428r19ef9865n6a65e81ac2f5fe31@mail.gmail.com> <4885BCC5.6080802@soton.ac.uk> <5D9CA6BE-731F-45A7-A1CC-AF1DC0556314@iais.fraunhofer.de> <4885F9F4.50001@andrej.com> X-Mailer: Apple Mail (2.926) X-Spam: no; 0.00; fraunhofer:01 caml-list:01 long:06 since:17 course:22 worked:33 are:33 apologies:35 axel:37 axel:37 categories:60 humble:60 time:44 right:54 you:53 Of course you are right. Humble apologies. Long time since I worked on categories. Axel