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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:52:01 UTC