From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 75898BC75 for ; Mon, 28 Feb 2005 11:25:10 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j1SAP9Ci018994 for ; Mon, 28 Feb 2005 11:25:10 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA25027 for ; Mon, 28 Feb 2005 11:25:09 +0100 (MET) Received: from paul.rtelekom.ru (paul.rtelekom.ru [217.146.42.160]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j1SAP7uY018987 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 28 Feb 2005 11:25:09 +0100 Received: from paul.rtelekom.ru (paul@localhost [127.0.0.1]) by paul.rtelekom.ru (8.13.1/8.13.1) with ESMTP id j1SAOqbX047333; Mon, 28 Feb 2005 13:24:52 +0300 (MSK) (envelope-from argentoff@rtelekom.ru) Received: (from paul@localhost) by paul.rtelekom.ru (8.13.1/8.13.1/Submit) id j1SAOqlm047332; Mon, 28 Feb 2005 13:24:52 +0300 (MSK) (envelope-from argentoff@rtelekom.ru) X-Authentication-Warning: paul.rtelekom.ru: paul set sender to argentoff@rtelekom.ru using -f X-Comment-To: Gerd Stolpmann To: Gerd Stolpmann Cc: caml-list@inria.fr Subject: Re: :pxp_evpull notation References: <86bracttfd.fsf@paul.rtelekom.ru> <86d5uspi3a.fsf@paul.rtelekom.ru> <1109099029.5947.0.camel@localhost.localdomain> <86vf8gk45m.fsf_-_@paul.rtelekom.ru> <1109531124.5835.12.camel@localhost.localdomain> From: Paul Argentoff Date: Mon, 28 Feb 2005 13:24:51 +0300 In-Reply-To: <1109531124.5835.12.camel@localhost.localdomain> (Gerd Stolpmann's message of "Sun, 27 Feb 2005 20:05:24 +0100") Message-ID: <86is4dnfrg.fsf@paul.rtelekom.ru> User-Agent: Gnus/5.1006 (Gnus v5.10.6) XEmacs/21.4 (Corporate Culture) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at concorde with ID 4222F186.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4222F183.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; pxp:01 notation:01 gerd:01 stolpmann:01 gerd:01 stolpmann:01 pxp:01 notation:01 let:03 written:06 speaking:06 paul:08 paul:08 automaton:08 fun:08 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Dear Gerd Stolpmann, Let GS = "Gerd Stolpmann" in written_by GS => GS> some_fun can even be another pxp_evtree automaton. pxp_evtree? That sounds a bit new. I cannot find such a notation in PXP 1.95. Or you're speaking figuratively? -- Yours truly, WBR, Paul Argentoff. Jabber: paul@jabber.rtelekom.ru RIPE: PA1291-RIPE