W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2005

pi-calculus test cases

From: <jos.deroo@agfa.com>
Date: Fri, 24 Jun 2005 03:04:10 +0200
To: public-cwm-talk@w3.org
Message-ID: <OF824D4D99.5EEA0D7D-ONC125702A.0005C259-C125702A.0005DA01@agfa.com> 

is getting late and quite hot here, and laptop produces even more with

cwm http://eulersharp.sourceforge.net/2003/03swap/pi-data.n3
 http://eulersharp.sourceforge.net/2003/03swap/pi-rules.n3 --think
 --filter=http://eulersharp.sourceforge.net/2003/03swap/pi-query.n3

actually get http://eulersharp.sourceforge.net/2003/03swap/pi-result.n3
with euler but am wondering how to change for cwm..


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 24 June 2005 01:04:22 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT