- From: Dan Connolly <connolly@w3.org>
- Date: Thu, 7 Sep 2006 23:39:34 -0500
- To: Dan Connolly <connolly@w3.org>
- Cc: public-cwm-talk@w3.org
On Sep 7, 2006, at 5:42 AM, Dan Connolly wrote: > On Thu, 2006-09-07 at 02:07 -0500, Dan Connolly wrote: >> [...] I coded it up in python >> inside check.py . It interferes with the normal way that >> check.py works, so I checked it in a branch, for now. >> check.py,v 1.55.2.1 2006/09/07 06:54:54 > > I think cwm is doing something fishy with bnodes and proofs. After discussion with TimBL, it seems that cwm should be combining steps 2 and 3 into one. Yosi, you mentioned in IRC that you think you have a fix. I gather you had to dash off to class after that. Here's hoping you find time to check in the fix... > ---8<--- > 1: ... > [by parsing <gmpbnode.n3>] > > 2: @forSome :_g1 . :_g1 gmp:in gmp:Texas . > [by CE on 1] > > 3: @forSome :_g1 . gmp:dan gmp:home :_g1 . > [by CE on 1] > -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 8 September 2006 04:39:58 UTC