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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT