W3C home > Mailing lists > Public > public-cwm-bugs@w3.org > November 2007

[closed] Re: check doesn't workt with daig == 1

From: Tim Berners-Lee <timbl@w3.org>
Date: Fri, 2 Nov 2007 10:49:45 -0400
Message-Id: <87050F24-91A4-408D-A9C3-E69AA6557FDE@w3.org>
Cc: public-cwm-bugs@w3.org
To: Dan Connolly <connolly@w3.org>


re:
http://lists.w3.org/Archives/Public/public-cwm-bugs/2006Oct/0003.html

Yosi's conclusion is that generating proofs while in proof-checking  
mode is not supported.

Tim

Received on Friday, 2 November 2007 14:50:39 GMT

This message: [ Message body ]
Next message: Tim Berners-Lee: "[closed] Re: Bug? SPARQL query comma-joined object variables"
Previous message: Tim Berners-Lee: "[closed] Re: inclusion in conclusion RuntimeError: maximum recursion depth exceeded"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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